Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Constraints in Computational Logics: Theory and Applications: International Summer School, Ccl'99 Gif-Sur-Yvette, France, September 5-8, 1999 Revised 2001 Edition (Lecture Notes in Computer Science)Comon, HubertPaperback3540419500 /
9783540419501		04/2001$52.24
Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 Edition (Lecture Notes in Computer Science / Programming and Software)Beckert, BernhardPaperback3642180698 /
9783642180699		01/2011$52.24
  (2 items found)