Palsberg, Jens.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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-)
(書目-語言資料,印刷品)
Principles and practices of building parallel software = essays dedicated to Vivek Sarkar on the occasion of his 64th birthday /
by:
Palsberg, Jens.; SpringerLink (Online service); Sarkar, Vivek.; Barik, Rajkishore.; Gupta, Rajiv.
(書目-電子資源)
Modern compiler implementation in Java
by:
Appel, Andrew W., (1960-); Palsberg, Jens.; NetLibrary, Inc.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Theory of Computation.
Compilers (Computer programs)
Logics and Meanings of Programs.
Java (Computer program language)
Parallel programs (Computer programs)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Parallel programming (Computer science)
Computer software- Verification
Computer Science.
Compilateurs (Logiciels)
Java (Langage de programmation)