Formal Methods Applications and Technology : 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A Author:  Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor) Format:  Paperback Publish Date:  March 2007 ISBN-10:  3540709517 ISBN-13:  9783540709510 List Price:  $74.95

For the best price: or just Pages: 361 Publisher: Springer-Verlag New York Inc Add this book to your wish list | View your wish list | Link to this book Click on this books subject categories to see related titles: Subjects : COMPUTERS : Computer Science Subjects : COMPUTERS : Programming / Software Development Subjects : COMPUTERS : Programming / Software Development : Computer software - Reliability Subjects : COMPUTERS : Programming / Software Development : Software engineering Subjects : COMPUTERS : General : Computer programs Subjects : Computer programs - Verification Subjects : COMPUTERS : Programming / Software Development : Computer software - Verification Subjects : Formal methods (Computer science) Add your own review! Book Details Summary: The title of this book is Formal Methods Applications and Technology : 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A and it was written by Lubos Brim (Editor), Boudewijn Haverkort (Editor), Martin Leucker (Editor), Jaco van de Pol (Editor). This edition of Formal Methods Applications and Technology : 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A is in a Paperback format. This books publish date is March 2007 and it has a suggested retail price of $74.95. There are 361 pages in the book and it was published by Springer-Verlag New York Inc. The 10 digit ISBN is 3540709517 and the 13 digit ISBN is 9783540709510.