Search Results
Showing Item 1 of 1
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
E-book
Add to basket
Permalink
Disable Highlighting
Electronic resources
Record details
- ISBN: 9783540733706
-
Physical Description:
electronic
electronic resource
access
remote
X, 285 p. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Search for related items by subject
| Subject: | Computer science Software engineering Logic design Computer Science Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
Search for related items by series
Search Results
Showing Item 1 of 1
