-
26. Verification, Model Checking, and Abstract Interpretation
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642540127
Edition: 2014 edition
Format: PDF eBook
Digital download
$33.00
-
27. Verified Software: Theorie, Tools, Experiments
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642541070
Edition: 2014 edition
Format: PDF eBook
Digital download
$35.75
-
28. Verified Software: Theories, Tools, Experiments
Seller Description: Brand New. New. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
New Delhi, DELHI, INDIA
$47.82
-
29. Verification, Model Checking, and Abstract Interpr
Seller Description: Brand New. New. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
New Delhi, DELHI, INDIA
$50.84
-
30. Verified Software: Theories, Tools, Experiments
Seller Description: Brand New. New. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
New Delhi, DELHI, INDIA
$51.10
-
31. Verification, Model Checking, and Abstract Interpr
Seller Description: Brand New. New. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
New Delhi, DELHI, INDIA
$54.07
-
32. Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Cohen, Ernie (Editor), and Rybalchenko, Andrey (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XVI, 345 p. 83 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$58.68
-
33. Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Cohen, Ernie (Editor), and Rybalchenko, Andrey (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XVI, 345 p. 83 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$58.68
-
34. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
by McMillan, Kenneth (Editor), and Rival, Xavier (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$59.75
-
35. Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Cohen, Ernie (Editor), and Rybalchenko, Andrey (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Programming and Software Engineering ; Lecture Notes in Computer Science . XVI, 345 p. 83 illus. Intended for professional and scholarly audience. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
NV, USA
$60.65
-
36. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
by McMillan, Kenneth (Editor), and Rival, Xavier (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience. See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
NV, USA
$60.65
-
37. Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Cohen, Ernie (Editor), and Rybalchenko, Andrey (Editor)
Seller Description: Fine. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XVI, 345 p. 83 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, Fine/Like New
Columbia, MD, USA
$62.98
-
38. Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
by Cohen, Ernie (Editor), and Rybalchenko, Andrey (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . XVI, 345 p. 83 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
Columbia, MD, USA
$63.23
-
39. Program Logics for Certified Compilers
by Appel, Andrew W.
Seller Description: Used-Very Good. A copy that may have been read, very minimal wear and tear. May have a remainder mark. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
hardcover, Very Good
Medford, NY, USA
$63.24
-
40. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
by McMillan, Kenneth (Editor), and Rival, Xavier (Editor)
Seller Description: New. Contains: Illustrations, black & white. ; Lecture Notes in Computer Science . XVIII, 493 p. 120 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
Columbia, MD, USA
$64.94
-
41. Verified Software: Theories, Tools, Experiments
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
Irving, TX, USA
$65.97
-
42. Verification, Model Checking, and Abstract Interpr
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
Irving, TX, USA
$65.97
|
