Title
Author / Artist
Binding
ISBN/ISBN-13
Pub
Price
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5 2014 Edition (Lecture Notes in Computer Science / Programming and Software)Merz, Stephan Paperback 331911736X / 2014-09-23 $52.24
Formal Systems Specification: The Rpc-Memory Specification Case Study 1996 Edition (Lecture Notes in Mathematics)Broy, Manfred Paperback 3540619844 / 1996-11-06 $52.24
Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings 2010 Edition Méry, Dominique Paperback 3642162649 / 2010-10-06 $52.24
Interactive Theorem Proving: 7th International Conference, Itp 2016, Nancy, France, August 22-25, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science)Blanchette, Jasmin Christian Paperback 3319431439 / 2016-08-07 $52.24
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools Navet, Nicolas Hardcover 1848210132 / 2008-04-01 $261.20
Temporal Logic and State Systems 2008 Edition (Texts in Theoretical Computer Science)Kröger, Fred Hardcover 3540674012 / 2008-03-27 $80.74
Temporal Logic and State Systems (Texts in Theoretical Computer Science. an Eatcs)Kröger, Fred Paperback 3642086802 / 2010-11-25 $85.49
