Big Books of 2026

Program Proofs > Editions

by K Rustan M Leino

Sort by
Format
Language
Editions
Showing 1-2 of 2
Program Proofs
Program Proofs (Paperback)
Published March 7th 2023 by The MIT Press
Paperback, 496 pages
Author(s):
ISBN:
9780262546232 (ISBN10: 026254623X)
ASIN:
026254623X
Edition language:
English
Average rating:
4.67 (3 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Proofs
Program Proofs (Kindle Edition)
Published March 7th 2023 by The MIT Press
Kindle Edition, 498 pages
Author(s):
ISBN:
9780262375429 (ISBN10: 0262375427)
ASIN:
B0B5CR551V
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page