Palsberg, Jens.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :); Havelund, Klaus, (1955-); SpringerLink (Online service); Palsberg, Jens.
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
SpringerLink (Online service); Palsberg, Jens.; Dillig, Isil.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Su, Zhendong.; SpringerLink (Online service); Palsberg, Jens.
(書目-語言資料,印刷品)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
Palsberg, Jens.; Mosses, Peter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer logic.
Symbolic and Algebraic Manipulation.
Computer Communication Networks.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mosses, Peter.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Computers.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.