|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures 2007 Edition (Lecture Notes in Computer Science) | George, Chris | Paperback | 3540749632 / 9783540749639 | 08/2007 | $52.24 |
| | Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 Edition (Lecture Notes in Computer Science) | Jones, Cliff B. | Paperback | 354075220X / 9783540752202 | 09/2007 | $52.24 |
| | Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee 2003 Edition (Lecture Notes in Computer Science) | Dong, Jin Song | Paperback | 354020461X / 9783540204619 | 10/2003 | $104.49 |
| | Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009, Revised Selec 2009 Edition (Lecture Notes in Computer Science) | Oliveira, Marcel Vinícius Medeiros | Paperback | 3642104517 / 9783642104510 | 11/2009 | $52.24 |
| | 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 |
| | Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Zhiming | Paperback | 3642397174 / 9783642397172 | 07/2013 | $52.24 |
| | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Zhiming | Paperback | 3642396976 / 9783642396977 | 07/2013 | $52.24 |
| | Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, 2013 Edition | Liu, Zhiming | Paperback | 3642397204 / 9783642397202 | 07/2013 | $52.24 |
| | Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele 2008 Edition (Lecture Notes in Computer Science) | Meyer, Bertrand | Paperback | 3540691472 / 9783540691471 | 07/2008 | $104.49 |
| | Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Shankar, Natarajan | Paperback | 3540878726 / 9783540878728 | 09/2008 | $52.24 |
|
|
|