|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conferen Softcover Repri Edition (IFIP Advances in Information and Communication Technology) | Budkowski, Stan | Paperback | 1475752628 / 9781475752625 | 03/2013 | $208.99 |
| | Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conferen 1998 Edition (International Federation for Information Processing) | Budkowski, Stan | Hardcover | 0412847604 / 9780412847608 | 10/1998 | $208.99 |
| | Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003, 2003 Edition (Lecture Notes in Computer Science) | Najm, Elie | Paperback | 3540204911 / 9783540204916 | 11/2003 | $52.24 |
| | Formal Methods for Open Object-Based Distributed Systems: Volume 1 1996 Edition (IFIP Advances in Information and Communication Technology) | Najm, Elie | Hardcover | 0412797704 / 9780412797705 | 11/1996 | $208.99 |
| | Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip Wg 6.1 International Conference, Paris, France, September 26-29, 2006, 2006 Edition (Lecture Notes in Computer Science) | Najm, Elie | Paperback | 3540462198 / 9783540462194 | 09/2006 | $104.49 |
| | Sdl 2007: Design for Dependable Systems: 13th International Sdl Forum, Paris, France, September 18-21, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Gaudin, Emmanuel | Paperback | 3540749837 / 9783540749837 | 09/2007 | $52.24 |
|
|
|