Palsberg, Jens.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Havelund, Klaus, (1955-); Majumdar, Rupak.; Palsberg, Jens.; SpringerLink (Online service); International SPIN Workshop (2008 :)
(書目-語言資料,印刷品)
Modern compiler implementation in Java /
by:
Palsberg, Jens.; Appel, Andrew W., (1960-)
(書目-語言資料,印刷品)
Static analysis = 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/
by:
Palsberg, Jens.; SpringerLink (Online service); International Static Analysis Symposium (2000 :)
(書目-語言資料,印刷品)
Modern compiler implementation in Java
by:
Palsberg, Jens.; NetLibrary, Inc.; Appel, Andrew W., (1960-)
(書目-語言資料,印刷品)
主題
Software Engineering.
Compilers (Computer programs)
Logics and Meanings of Programs.
Java (Computer program language)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Computer software- Verification
Computer Science.
Compilateurs (Logiciels)
Java (Langage de programmation)