|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, Setta 2018, Beijing, China, September 4-6, 2018, Proc 2018 Edition (Lecture Notes in Computer Science) | Feng, Xinyu | Paperback | 331999932X / 9783319999326 | 08/2018 | $52.24 |
| | Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction 1997 Edition (Lecture Notes in Artificial Intelligence) | Müller-Olm, Markus | Paperback | 3540634061 / 9783540634065 | 08/1997 | $52.24 |
| | Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Müller-Olm, Markus | Paperback | 3319109359 / 9783319109350 | 08/2014 | $52.24 |
| | Variations on Constants: Flow Analysis of Sequential and Parallel Programs 2006 Edition (Lecture Notes in Computer Science) | Müller-Olm, Markus | Paperback | 3540453857 / 9783540453857 | 10/2006 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi 2008 Edition (Lecture Notes in Computer Science) | Jones, Neil | Paperback | 3540938990 / 9783540938996 | 12/2008 | $52.24 |
|
|
|