|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Roever, Willem-Paul De | Hardcover | 0521806089 / 9780521806084 | 11/2001 | $269.80 |
| | Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science (Paperback)) | de Roever, Willem-Paul | Paperback | 0521103509 / 9780521103503 | 12/2008 | $63.64 |
| | 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 |
| | Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 Softcover Repri Edition (IFIP Advances in Information and Communication Technology) | Gries, David | Paperback | 1475762992 / 9781475762990 | 01/2013 | $208.99 |
| | Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 1998 Edition (IFIP Advances in Information and Communication Technology) | Gries, David | Hardcover | 0412837609 / 9780412837609 | 05/1998 | $208.99 |
|
|
|