Program Proofs > Editions

collapse details

by K Rustan M Leino

Sort by

Format

Language

Editions

Showing 1-2 of 2

Program Proofs (Paperback)

Published March 7th 2023 by The MIT Press

Paperback, 496 pages

Author(s):

K Rustan M Leino

ISBN:

9780262546232 (ISBN10: 026254623X)

ASIN:

026254623X

Edition language:

English

Average rating:

4.67 (3 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Program Proofs (Kindle Edition)

Published March 7th 2023 by The MIT Press

Kindle Edition, 498 pages

Author(s):

K Rustan M Leino

ISBN:

9780262375429 (ISBN10: 0262375427)

ASIN:

B0B5CR551V

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars