Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, Usa, November 14 2007 Edition (Lecture Notes in Computer Science)Butler, MichaelPaperback3540766480 /
9783540766483		11/2007$52.24
High-Integrity System Specification and Design Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F)Bowen, Jonathan P.Paperback3540762264 /
9783540762263		04/1999$52.24
Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code GenerationHinchey, Michael G.Paperback1289254583 /
9781289254582		07/2013$13.28
  (3 items found)