|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings (Lecture Notes in Computer Science) | Kowalewski, Stefan | Paperback | 3642158978 /
9783642158971 | 09/2010 | $52.24 |
|  | Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-Cps, and Foclasa, Trento, Italy, September 4-5, 20 2018 Edition (Lecture Notes in Computer Science) | Cerone, Antonio | Paperback | 3319747800 /
9783319747804 | 02/2018 | $101.65 |
|
|
|