Palsberg, Jens.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.