|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Aided Verification: 19th International Conference, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Damm, Werner | Paperback | 3540733671 /
9783540733676 | 07/2007 | $52.24 |
|  | CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 2006 Edition (Lecture Notes in Computer Science) | Baier, Christel | Paperback | 3540373764 /
9783540373766 | 08/2006 | $104.49 |
|  | Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7 2001 Edition (Springer Series in Chemical Physics) | Brinksma, Ed | Paperback | 3540424792 /
9783540424796 | 08/2001 | $52.24 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, Tacas 2006, Held as Part of the Joint European Confe 2006 Edition (Lecture Notes in Computer Science) | Hermanns, Holger | Paperback | 3540330569 /
9783540330561 | 03/2006 | $52.24 |
|
|
|