-
176. 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
$117.00
-
177. 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
$119.93
-
178. 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
-
179. 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
-
180. 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
-
181. 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
-
182. 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
$140.40
-
183. Program Logics for Certified Compilers
by Appel, Andrew W.
Seller Description: New. See More Details
2014, Cambridge University Press
ISBN-13: 9781107048010
hardcover, New
Santa Clarita, CA, USA
$196.03
-
184. Formal Methods for Industrial Critical Systems
by Author
eBook See More Details
2013, Springer Nature
eBook ISBN: 9783642410093
Edition: 2013 edition
Format: PDF eBook
Digital download
$15.00
-
185. Formal Methods for Industrial Critical Systems
Seller Description: Brand New. New. See More Details
2013, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642410093
Paperback, New
New Delhi, DELHI, INDIA
$41.90
-
186. Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
by Dierkes, Michael (Editor), and Pecheur, Charles (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Programming and Software Engineering ; Lecture Notes in Computer Science . XIV, 199 p. 46 illus. Intended for professional and scholarly audience. See More Details
2013, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642410093
Paperback, New
NV, USA
$55.96
-
187. Formal Methods for Industrial Critical Systems
Seller Description: New, Satisfaction guaranteed! ! See More Details
2013, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642410093
Paperback, New
Irving, TX, USA
$60.72
-
188. Formal Methods for Industrial Critical Systems
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2013, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642410093
Paperback, New
Irving, TX, USA
$60.96
-
189. Grammars for Language and Genes
Seller Description: Brand New. New. See More Details
2013, Springer
ISBN-13: 9783642270802
Paperback, New
New Delhi, DELHI, INDIA
$79.41
|
