|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 1 2017 Edition | Petrucci, Laure | Paperback | 331967112X /
9783319671123 | 08/2017 | $52.24 |
|  | FM 2009: Formal Methods 2009 Edition (Lecture Notes in Computer Science) | Cavalcanti, Ana | Paperback | 3642050883 /
9783642050886 | 10/2009 | $104.49 |
|  | Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12 2009 Edition (Lecture Notes in Computer Science) | Breitman, Karin | Paperback | 3642103723 /
9783642103728 | 11/2009 | $104.49 |
|  | Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004, Recife, Brazil, November 23-December 2006 Edition (Lecture Notes in Computer Science) | Cavalcanti, Ana | Paperback | 3540462538 /
9783540462538 | 09/2006 | $52.24 |
|  | Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Re (Lecture Notes in Computer Science) | Borba, Paulo | Paperback | 3642143342 /
9783642143342 | 07/2010 | $52.24 |
|  | Theoretical Aspects of Computing - Ictac 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings 2006 Edition (Lecture Notes in Computer Science) | Barkaoui, Kamel | Paperback | 3540488154 /
9783540488156 | 10/2006 | $52.24 |
|  | Theoretical Aspects of Computing: ICTAC 2010 (Lecture Notes in Computer Science) | Cavalcanti, Ana | Paperback | 3642148077 /
9783642148071 | 08/2010 | $52.24 |
|
|
|