|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Variable Domain-Specific Software Languages with Djdsl: Design and Implementation 2020 Edition | Sobernig, Stefan | Paperback | 3030421546 / 9783030421540 | 07/2021 | $103.55 |
| | 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 |
| | VDI-Lexikon Informatik Und Kommunikationstechnik 2. Aufl. 1999. Edition (VDI-Buch) (German) | Broy, Manfred | Paperback | 3642468462 / 9783642468469 | 03/2012 | $94.99 |
| | VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings 1987 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 3540176543 / 9783540176541 | 03/1987 | $52.24 |
| | VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings 1988 Edition (Lecture Notes in Computer Science) | Bloomfield, Robin E. | Paperback | 3540502149 / 9783540502142 | 08/1988 | $52.24 |
| | VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee 1991 Edition (Lecture Notes in Computer Science) | Prehn, Soren | Paperback | 3540548688 / 9783540548683 | 10/1991 | $52.24 |
| | VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee 1991 Edition (Lecture Notes in Computer Science) | Prehn, Soren | Paperback | 3540548343 / 9783540548348 | 10/1991 | $104.49 |
| | Verification and Analysis of Computer Systems | Skinner, Henry | Hardcover | 1647253756 / 9781647253752 | 09/2023 | $152.95 |
| | Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science: Festschrift) | Siegler, Simon | Paperback | 3642171710 / 9783642171710 | 11/2010 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science) | Barthe, Gilles | Paperback | 3642113184 / 9783642113185 | 01/2010 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding 2003 Edition (Lecture Notes in Computer Science) | Zuck, Lenore D. | Paperback | 3540003487 / 9783540003489 | 12/2002 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper 2002 Edition (Lecture Notes in Computer Science) | Cortesi, Agostino | Paperback | 3540436316 / 9783540436317 | 04/2002 | $52.24 |
| | Verification, Validation and Testing in Software Engineering | Dasso, Aristides | Hardcover | 1591408512 / 9781591408512 | 07/2006 | $90.20 |
| | Verified Software. Theories, Tools, and Experiments: 10th International Conference, Vstte 2018, Oxford, Uk, July 18-19, 2018, Revised Selected Papers 2018 Edition (Lecture Notes in Computer Science) | Piskac, Ruzica | Paperback | 3030035913 / 9783030035914 | 11/2018 | $52.24 |
| | Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele 2020 Edition | Chakraborty, Supratik | Paperback | 3030415996 / 9783030415990 | 03/2020 | $52.24 |
| | Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected 2016 Edition (Lecture Notes in Computer Science) | Blazy, Sandrine | Paperback | 3319488686 / 9783319488684 | 11/2016 | $52.24 |
| | Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected 2017 Edition (Lecture Notes in Computer Science) | Paskevich, Andrei | Paperback | 3319723073 / 9783319723075 | 12/2017 | $52.24 |
| | Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, Ca, Usa, May 17-19, 2013, Revised Selected Paper 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Cohen, Ernie | Paperback | 3642541070 / 9783642541070 | 01/2014 | $52.24 |
| | Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3319121537 / 9783319121536 | 10/2014 | $52.24 |
| | Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, Philadelphia, Pa, Usa, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science) | Joshi, Rajeev | Paperback | 3642277047 / 9783642277047 | 01/2012 | $52.24 |
| | Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele 2008 Edition (Lecture Notes in Computer Science) | Meyer, Bertrand | Paperback | 3540691472 / 9783540691471 | 07/2008 | $104.49 |
| | Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Shankar, Natarajan | Paperback | 3540878726 / 9783540878728 | 09/2008 | $52.24 |
| | Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings (Lecture Notes in Computer Science) | Leavens, Gary T. | Paperback | 364215056X / 9783642150562 | 08/2010 | $52.24 |
| | Version Control with Subversion: Next Generation Open Source Version Control | Pilato, C. | Paperback | 0596510330 / 9780596510336 | 10/2008 | $35.99 |
| | Version-Independent Programming: Code Development Guidelines for the Windows(R) Operating System | Benton, D. James | Paperback | 1520339143 / 9781520339146 | 01/2017 | $7.59 |
|
|
|