-
51. Verified Software: Theorie, Tools, Experiments
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642541070
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
-
52. Verification, Model Checking, and Abstract Interpretation
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642540127
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
-
53. 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
$37.77
-
54. 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
-
55. 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
-
56. 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.78
-
57. 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
$64.38
-
58. Verification, Model Checking, and Abstract Interpr
Seller Description: New, Satisfaction guaranteed! ! See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642540127
Paperback, New
Irving, TX, USA
$64.39
-
59. Verified Software: Theories, Tools, Experiments
Seller Description: New, Satisfaction guaranteed! ! See More Details
2014, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642541070
Paperback, New
Irving, TX, USA
$64.39
-
60. 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.71
|
