Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Pol, Jaco van de (Editor), Weber, Michael (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6349
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Search Result 1
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
by Pol, Jaco
Published 2010
Get full text
Electronic Kit Book
Show all versions (2)

Similar Items