-
1. Program Proofs
by Leino, K. Rustan M.
Seller Description: Good. Crease/bruise to cover and pages. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, Good
McKeesport, PA, USA
$35.43
-
2. Program Proofs
by Leino, K. Rustan M.
Seller Description: Fine. LIKE NEW! ! ! Has a red or black remainder mark on bottom/exterior edge of pages. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, Fine/Like New
McKeesport, PA, USA
$35.97
-
3. Program Proofs
by Leino, K. Rustan M. |Leino, Kaleb
Seller Description: Fine. This book is in Like New condition. It is unused but has a remainder mark on the edge of the pages. Otherwise it is a new book. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
Softcover, Fine/Like New
Powder Springs, GA, USA
$39.98
-
4. Program Proofs
by Leino, K. Rustan M. |Leino, Kaleb
Seller Description: Cover Dust jacket has minimal shelf wear. Book is in Very Good condition. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
Softcover, Very Good
Powder Springs, GA, USA
$39.98
-
5. Program Proofs
by Leino, K. Rustan M.
Seller Description: Very Good. Size: 6x0x9; Item is gently used and does not show any significant wear. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, Very Good
Coppell, TX, USA
$40.66
-
6. Program Proofs
by Leino, K. Rustan M.
Seller Description: Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, Very Good
Dallas, TX, USA
$41.99
-
7. Program Proofs
Seller Description: Good. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Paperback, Good
Little Rock, AR, USA
$44.99
-
8. Program Proofs
by K. Rustan M. Leino
eBook See More Details
2023, Random House Publishing Services
eBook ISBN: 9780262546232
Format: EPUB eBook
Digital download
$48.99
-
9. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVII, 502 p. 140 illus., 88 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$53.14
-
10. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXXI, 488 p. 160 illus., 121 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$53.14
-
11. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXXI, 488 p. 160 illus., 121 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
NV, USA
$55.96
-
12. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 460 p. 388 illus., 76 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
NV, USA
$55.96
-
13. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVII, 502 p. 140 illus., 88 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
NV, USA
$55.96
-
14. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
Irving, TX, USA
$56.98
-
15. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
Irving, TX, USA
$56.98
-
16. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
Irving, TX, USA
$56.98
-
17. Program Proofs
by Leino, K. Rustan M.
Seller Description: New. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, New
McKeesport, PA, USA
$57.52
-
18. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$69.29
-
19. Program Proofs
by Leino, K. Rustan M.
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, Good
Santa Clarita, CA, USA
$71.94
-
20. 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
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$73.09
