Program Proofs Request exam copy View preview

Program Proofs

by K. Rustan M. Leino

Paperback

$70.00

Paperback

ISBN: 9780262546232

Pub date: March 7, 2023

Publisher: The MIT Press

496 pp., 7 x 9 in, 18 line drawings, 4 figures

MIT Press BookstorePenguin Random HouseAmazonBarnes and NobleBookshop.orgIndieboundIndigoBooks a Million

eBook

$69.99

eBook

ISBN: 9780262375429

Pub date: March 7, 2023

Publisher: The MIT Press

496 pp., 7 x 9 in, 18 line drawings, 4 figures

Penguin Random House

eTextbook rental

4 Months:
12 Months:

eTextbook

ISBN: 9780262546232

Pub date: March 7, 2023

Publisher: The MIT Press

496 pp., 7 x 9 in, 18 line drawings, 4 figures

eTextbook

496 pp., 7 x 9 in, 18 line drawings, 4 figures

  • Paperback
  • 9780262546232
  • Published: March 2023
  • Publisher: The MIT Press

$70.00

  • eBook
  • 9780262375429
  • Published: March 2023
  • Publisher: The MIT Press

$69.99

Other Retailers:

Related Books

Essentials of Compilation
Structure and Interpretation of Computer Programs
An Experiential Introduction to Principles of Programming Languages
Principles of Abstract Interpretation
Introduction to Computation and Programming Using Python
Circuit Design with VHDL
Thinking as Computation
10 PRINT CHR$(205.5+RND(1)); : GOTO 10
Types and Programming Languages
Essentials of Programming Languages