Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol.
By: Brim, Luboš.
Contributor(s): Haverkort, Boudewijn | Leucker, Martin | Pol, Jaco | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 4346.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540709527.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Special Purpose and Application-Based SystemsDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.