|
|
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, Ed | Paperback | 3540606300 / 9783540606307 | 11/1995 | $52.24 |
| | Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, 1997 Edition (Lecture Notes in Physics) | Brinksma, Ed | Paperback | 3540627901 / 9783540627906 | 03/1997 | $52.24 |
|
|
|