Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC
Pub
Date
Price
Tools and Algorithms for the Construction and Analysis of SystemsSteffen, BernhardHardcover1013271211 /
9781013271212
10/2020$56.00
Tools and Algorithms for the Construction and Analysis of SystemsSteffen, BernhardPaperback1013271203 /
9781013271205
10/2020$44.60
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen 1998 Edition (Lecture Notes in Computer Science)Steffen, BernhardPaperback3540643567 /
9783540643562
03/1998$52.24
  (3 items found)