|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | 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 (Lecture Notes in Computer Science: State-Of-The-Art Survey) | De Boer, Frank S. | Paperback | 3642170706 /
9783642170706 | 01/2011 | $52.24 |
|  | Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Beckert, Bernhard | Paperback | 3642358861 /
9783642358869 | 01/2013 | $52.24 |
|  | Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Giachino, Elena | Paperback | 3642406149 /
9783642406140 | 08/2013 | $47.49 |
|  | 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: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers (Lecture Notes in Computer Science) | Aichernig, Bernhard K. | Paperback | 3642252702 /
9783642252709 | 12/2011 | $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 |
|  | Theoretical Computer Science: 7th Ifip Tc1/Wg 2.2 International Conference, Tcs 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings 2012 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Baeten, Jos C. M. | Paperback | 3642334741 /
9783642334740 | 08/2012 | $52.24 |
|  | Verification of Sequential and Concurrent Programs 2009, Corr. 3rd Edition (Texts in Computer Science) | Apt, Krzysztof R. | Hardcover | 184882744X /
9781848827448 | 10/2009 | $104.49 |
|  | Verification of Sequential and Concurrent Programs (Texts in Computer Science) | Apt, Krzysztof R. | Paperback | 1447125134 /
9781447125136 | 03/2012 | $85.49 |
|
|
|