|
|
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 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, Tacas 2009, Held as Part of the Joint European Confe 2009 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Kowalewski, Stefan | Paperback | 3642007678 / 9783642007675 | 03/2009 | $52.24 |
|
|
|