Normal view
MARC view
Formal Methods Applications and Technology Электронный ресурс 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
Material type:
Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007ISBN: 9783540709527Subject(s): Computer Science | Logic design | Software engineering | Software engineering | Computer Science | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Click here to access online
In:
Springer e-books
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.