|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automata, Languages and Programming: 25th International Colloquium, Icalp'98, Aalborg, Denmark July 13-17, 1998, Proceedings 1998 Edition (Lecture Notes in Computer Science) | Larsen, Kim G. | Paperback | 3540647813 /
9783540647812 | 07/1998 | $104.49 |
|  | Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings 2002 Edition (Lecture Notes in Computer Science) | Brinksma, Ed | Paperback | 3540439978 /
9783540439974 | 07/2002 | $104.49 |
|  | Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings 1992 Edition (Lecture Notes in Computer Science) | Larsen, Kim G. | Paperback | 3540551794 /
9783540551799 | 04/1992 | $52.24 |
|  | Concur 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings 2001 Edition (Lecture Notes in Computer Science,) | Larsen, Kim G. | Paperback | 3540424970 /
9783540424970 | 08/2001 | $52.24 |
|  | Formal Modeling and Analysis of Timed Systems: First International Workshop, Formats 2003, Marseille, France, September 6-7, 2003, Revised Papers 2004 Edition (Lecture Notes in Computer Science,) | Larsen, Kim G. | Paperback | 3540216715 /
9783540216711 | 04/2004 | $52.24 |
|  | Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday 2019 Edition | Margaria, Tiziana | Paperback | 3030223477 /
9783030223472 | 06/2019 | $52.24 |
|  | Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project 2012 Edition (Embedded Systems) | Larsen, Kim G. | Hardcover | 9400713681 /
9789400713680 | 08/2012 | $132.05 |
|  | 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 |
|
|
|