-
151. Program Proofs
by Leino, K. Rustan M.
Seller Description: PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK. See More Details
2023, MIT Press Ltd
ISBN-13: 9780262546232
Softcover, New
Fairford, GLOUCESTERSHIRE, UNITED KINGDOM
$72.98
-
152. Essentials of Compilation: an Incremental Approach in Python
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, MIT Press
ISBN-13: 9780262048248
Irving, TX, USA
$76.23
-
153. Essentials of Compilation: an Incremental Approach in Racket
by Siek, Jeremy G.
Seller Description: New. See More Details
2023, The MIT Press
ISBN-13: 9780262047760
hardcover, New
Miramar, FL, USA
$76.46
-
154. Essentials of Compilation
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, MIT Press
ISBN-13: 9780262047760
Irving, TX, USA
$77.18
-
155. Program Proofs
Seller Description: Leino, Kaleb. Fine. Trade paperback (US). Glued binding. 496 p. 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
2023, MIT Press
ISBN-13: 9780262546232
Trade paperback, Fine/Like New
Columbia, MD, USA
$79.18
-
156. Windows Apt Warfare: Identify and Prevent Windows Apt Attacks Effectively
by Sheng-Hao Ma
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, Packt Publishing
ISBN-13: 9781804618110
paperback, Good
Santa Clarita, CA, USA
$83.33
-
157. Program Proofs
Seller Description: Leino, Kaleb. New. Trade paperback (US). Glued binding. 496 p. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Trade paperback, New
Southport, MERSEYSIDE, UNITED KINGDOM
$83.83
-
158. Essentials of Compilation: an Incremental Approach in Python
by Siek, Jeremy G.
Seller Description: New. See More Details
2023, The MIT Press
ISBN-13: 9780262048248
hardcover, New
Santa Clarita, CA, USA
$84.14
-
159. Program Proofs
Seller Description: Leino, Kaleb. New. Trade paperback (US). Glued binding. 496 p. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Trade paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$84.34
-
160. Program Proofs
Seller Description: Leino, Kaleb. New. Trade paperback (US). Glued binding. 496 p. 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
2023, MIT Press
ISBN-13: 9780262546232
Trade paperback, New
Columbia, MD, USA
$84.50
-
161. Programproofs Format: Paperback
by Leino, Kaleb
Seller Description: BRAND NEW. 9780262546232. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Paperback, New
Avenel, NJ, USA
$84.51
-
162. SSA-based Compiler Design
by Rastello, Fabrice (Editor), and Bouchez Tichadou, Florent (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. XVII, 382 p. 148 illus., 32 illus. in color. 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 ... See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030805173
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$89.72
-
163. SSA-based Compiler Design
by Rastello, Fabrice (Editor), and Bouchez Tichadou, Florent (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. XVII, 382 p. 148 illus., 32 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030805173
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$89.74
-
164. SSA-based Compiler Design
by Rastello, Fabrice (Editor), and Bouchez Tichadou, Florent (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. XVII, 382 p. 148 illus., 32 illus. in color. 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 ... See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030805173
Paperback, New
Columbia, MD, USA
$90.30
-
165. Ssa-Based Compiler Design
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030805173
Paperback, New
Irving, TX, USA
$90.31
-
166. Program Proofs
by Leino, K. Rustan M.
Seller Description: New. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, New
Santa Clarita, CA, USA
$93.57
-
167. SSA-based Compiler Design
by Rastello, Fabrice (Editor), and Bouchez Tichadou, Florent (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. XVII, 382 p. 148 illus., 32 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Nature Switzerland AG
ISBN-13: 9783030805173
Paperback, New
NV, USA
$102.93
