Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proce 1994 Edition (Lecture Notes in Computer Science)Naftalin, MauriceHardcover3540585559 /
9783540585558		10/1994$104.49
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts 1997 Edition (Lecture Notes in Physics,)Bertran, MiquelPaperback3540630104 /
9783540630104		05/1997$52.24
  (2 items found)