-
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
$27.00
-
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
$27.59
-
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
$31.59
-
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
$31.59
-
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. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
New Delhi, DELHI, INDIA
$42.76
-
7. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
New Delhi, DELHI, INDIA
$43.72
-
8. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
New Delhi, DELHI, INDIA
$43.72
-
9. Program Proofs
Seller Description: Good. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Paperback, Good
Little Rock, AR, USA
$44.99
-
10. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
New Delhi, DELHI, INDIA
$45.33
-
11. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
New Delhi, DELHI, INDIA
$46.27
-
12. Computer Aided Verification
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
New Delhi, DELHI, INDIA
$46.27
-
13. 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
-
14. 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
$52.53
-
15. 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
$52.53
-
16. 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
$52.87
-
17. 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
-
18. 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
-
19. 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
-
20. Computer Aided Verification
Seller Description: New, US edition. Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
Irving, TX, USA
$57.97
|
