-
76. 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
$65.43
-
77. Program Logics for Certified Compilers
by Appel, Andrew W.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
hardcover, Good
Santa Clarita, CA, USA
$75.83
-
78. Verification, Model Checking, and Abstract Interpretation: 15th International Conference, Vmcai 2014, San Diego, Ca, Usa, January 19-21, 2014, ...Computer Science and General Issues)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2014, Springer
ISBN-13: 9783642540127
paperback, Good
Santa Clarita, CA, USA
$81.73
-
79. Program Logics for Certified Compilers
by Andrew W. Appel
eBook See More Details
2014, Cambridge University Press
eBook ISBN: 9781107048010
Edition: 1st edition
Format: PDF eBook
Digital download
$93.60
-
80. Program Logics for Certified Compilers
by Appel, Andrew W.
Seller Description: New. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
hardcover, New
Miramar, FL, USA
$113.52
-
81. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: Fine. Contains: Line drawings. 52 b/w 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 customers. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$114.09
-
82. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: New. Print on demand Contains: Line drawings. 52 b/w illus. Intended for professional and scholarly audience. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, New
NV, USA
$115.77
-
83. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: New. Contains: Line drawings. 52 b/w 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 customers. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, New
Columbia, MD, USA
$121.17
-
84. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: Fine. Contains: Line drawings. 52 b/w 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 customers. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, Fine/Like New
Columbia, MD, USA
$121.17
-
85. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: New. Contains: Line drawings. 52 b/w 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 customers. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$123.40
-
86. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: New. Contains: Line drawings. 52 b/w illus. Intended for professional and scholarly audience. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$123.41
-
87. Program Logics for Certified Compilers
by Appel, Andrew W., and Dockins, Robert (Contributions by), and Hobor, Aquinas (Contributions by)
Seller Description: New. Contains: Line drawings. 52 b/w illus. Intended for professional and scholarly audience. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
Hardcover, New
Southport, MERSEYSIDE, UNITED KINGDOM
$136.40
|
