-
26. 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
$62.53
-
27. 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
$62.53
-
28. Program Proofs [Paperback] Leino, K. Rustan M. and Leino, Kaleb
by Leino, K. Rustan M. And Leino, Kaleb
![Program Proofs [Paperback] Leino, K. Rustan M. and Leino, Kaleb](https://www.alibris-static.com/isbn/9780262546232.gif)
Seller Description: Brand new. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Paperback, New
Piscataway, NJ, USA
$68.99
-
29. 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
$72.19
-
30. 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
$72.19
-
31. 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
$74.07
-
32. Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17? 22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, Springer
ISBN-13: 9783031377082
paperback, Good
Santa Clarita, CA, USA
$76.03
-
33. 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
$77.51
-
34. Program Proofs
by Leino, K. Rustan M.
Seller Description: New. See More Details
2023, The MIT Press
ISBN-13: 9780262546232
paperback, New
Miramar, FL, USA
$87.89
-
35. 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
$94.90
-
36. 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
$104.09
-
37. Program Proofs
by K. Rustan M. Leino
Seller Description: New. 2023. Paperback......We ship daily from our Bookshop. See More Details
2023, MIT Press
ISBN-13: 9780262546232
Paperback, New
Galway, IRELAND
$160.25
-
38. Verified Software: Theorie, Tools, Experiments
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642541070
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
-
39. Verification, Model Checking, and Abstract Interpretation
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642540127
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
|
