Sale!

Program Proofs (1st Edition)

Original price was: $39.99.Current price is: $24.99. $19.99

Download Program Proofs (1st Edition) written by K. Rustan M. Leino in PDF format. This book is under the category AO and bearing the isbn13 numbers 9780262546232/9780262546232. You may reffer the table below for additional details of the book. We do NOT provide access codes, we provide eBooks ONLY. Instant access will be granted as soon as you complete the payment.

Additional information

book-author

K. Rustan M. Leino

publisher

MIT Press

file-type

language

en

year

2023

isbn13

9780262546232

isbn10

9780262546232

pages

496

Reviews

There are no reviews yet.

Be the first to review “Program Proofs (1st Edition)”

Specifications

book-author

K. Rustan M. Leino

publisher

MIT Press

file-type

language

en

year

2023

isbn13

9780262546232

isbn10

9780262546232

pages

496

Tweet
Share
Pin
Share