Liknande böcker

NASA Formal Methods
Bok av Guillaume. Brat
Formal Methods for Components and Objects : 9th International Symposium,...
Bok av Marcello M. Bonsangue
Trustworthy Global Computing : International Symposium, TGC 2005, Edinbu...
Bok av Rocco. De Nicola
Theory and Practice of Model Transformation : 11th International Confere...
Bok av Arend Rensink
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Construction and Analysis of Safe, Secure, and Interoperable Smart Devic...
Bok av Gilles. Barthe
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
Network and Parallel Computing : 9th IFIP International Conference, NPC...
Bok av James J. Park

Compiler Construction

Bok av Ranjit. Jhala