|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Verification, Model Checking, and Abstract Interpretation: 19th International Conference, Vmcai 2018, Los Angeles, Ca, Usa, January 7-9, 2018, Proceed 2018 Edition (Lecture Notes in Computer Science) | Dillig, Isil | Paperback | 3319737201 /
9783319737201 | 01/2018 | $52.24 |
|  | Modern Compiler Implementation in Java Revised Edition | Appel, Andrew W. | Open Ebook | 0511811438 /
9780511811432 | 06/2012 | $494.00 |
|  | Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Palsberg, Jens | Paperback | 3642041639 /
9783642041631 | 08/2009 | $52.24 |
|  | Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, Ca, Usa, August 9-11, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Palsberg, Jens | Paperback | 3642032362 /
9783642032363 | 07/2009 | $52.24 |
|  | Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, Usa, August 10-12, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Havelund, Klaus | Paperback | 3540851135 /
9783540851134 | 07/2008 | $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 |
|  | Modern Compiler Implementation in Java Revised Edition | Appel, Andrew W. | Hardcover | 052182060X /
9780521820608 | 10/2002 | $98.80 |
|  | Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, Usa, June 29 - July 6, 2000, Proceedings 2000 Edition (Lecture Notes in Computer Science) | Palsberg, Jens | Paperback | 3540676686 /
9783540676683 | 06/2000 | $52.24 |
|
|
|