Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Mine, Antoine.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: Mine, Antoine.; Schmidt, David.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer programming Programming languages (Electronic computers) Programming Languages, Compilers, Interpreters. Computer Science.

Change password

Login