Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select 1995 Edition (Lecture Notes in Computer Science)Brinksma, EdPaperback3540606300 /
9783540606307		11/1995$52.24
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc 1999 Edition (Lecture Notes in Computer Science)Cleaveland, W. RancePaperback3540657037 /
9783540657033		03/1999$52.24
  (2 items found)