|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Graf, Susanne | Paperback | 3540472371 / 9783540472377 | 10/2006 | $52.24 |
| | Formal Methods for Components and Objects 2007 Edition (Lecture Notes in Computer Science) | De Boer, Frank S. | Paperback | 3540747915 / 9783540747918 | 12/2007 | $52.24 |
| | Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures 2006 Edition (Lecture Notes in Computer Science) | De Boer, Frank S. | Paperback | 3540367497 / 9783540367499 | 08/2006 | $52.24 |
| | Formal Methods for Components and Objects: 6th International Symposium, Fmco 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures 2008 Edition (Lecture Notes in Computer Science / Programming and Software) | Bonsangue, Marcello M. | Paperback | 3540921877 / 9783540921875 | 12/2008 | $52.24 |
| | Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures 2003 Edition (Lecture Notes in Computer Science) | Boer, Frank S. de | Paperback | 3540203036 / 9783540203032 | 10/2003 | $52.24 |
| | Formal Methods for Components and Objects: Second International Symposium, Fmco 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures 2004 Edition (Lecture Notes) | Boer, Frank S. de | Paperback | 3540229426 / 9783540229421 | 10/2004 | $52.24 |
| | Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures 2005 Edition (Lecture Notes in Computer Science) | De Boer, Frank S. | Paperback | 3540291318 / 9783540291312 | 09/2005 | $52.24 |
| | Formal Techniques for Distributed Objects, Components, and Systems: 35th Ifip Wg 6.1 International Conference, Forte 2015, Held as Part of the 10th In 2015 Edition (Lecture Notes in Computer Science) | Graf, Susanne | Paperback | 3319191942 / 9783319191942 | 05/2015 | $52.24 |
| | Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Graf, Susanne | Paperback | 3540213147 / 9783540213147 | 03/2004 | $52.24 |
| | Robin vs. Camus - Ein Vergleich der Mordszenen der Romane "Accusé lève toi" und "L'étranger" (German) | Dannhauer, Ramona | Paperback | 363892906X / 9783638929066 | 04/2008 | $38.86 |
| | Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European Confere 2000 Edition (Lecture Notes in Computer Science) | Graf, Susanne | Paperback | 3540672826 / 9783540672821 | 03/2000 | $104.49 |
|
|
|