ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Pedro Merino has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
cover image for 9783540797067
Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification...read more
By Stefan Leue (editor) and Pedro Merino (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540797067 | Springer-Verlag New York Inc, July 8, 2008, cover price $69.95 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

displaying 1 to 1 | at end