Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Revised Selected Papers (Lecture Notes in Computer Science)Simao, AdenilsoPaperback3642250319 /
9783642250316		10/2011$66.49
On the Refinement Calculus 1992 Edition (Formal Approaches to Computing and Information Technology (F)Morgan, CarrollPaperback3540199314 /
9783540199311		12/1994$52.24
Programming Methodology (Monographs in Computer Science)McLver, AnnabellePaperback1441929649 /
9781441929648		12/2010$141.55
Programming Methodology 2003 Edition (Monographs in Computer Science)McLver, AnnabelleHardcover0387953493 /
9780387953496		10/2002$104.49
  (4 items found)