Title
Author / Artist
Binding
ISBN/ISBN-13
Pub
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 / 2007-08-28 $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 / 2007-09-06 $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 / 2003-10-27 $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 / 2009-11-09 $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 / 2006-09-27 $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 / 2013-07-15 $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 / 2013-07-31 $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 / 2013-07-19 $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 / 2008-07-07 $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 / 2008-09-22 $52.24
