Fr. 110.00

K Rustan M Leino, K. Rustan M. Leino, Kaleb Leino, Leino K. Rustan M.

Program Proofs

English · Paperback / Softback

Shipping usually within 1 to 3 weeks (not available at short notice)

Description

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.

Product details

Authors	K Rustan M Leino, K. Rustan M. Leino, Kaleb Leino, Leino K. Rustan M.
Publisher	The MIT Press

Languages	English
Product format	Paperback / Softback
Released	07.03.2023

EAN	9780262546232
ISBN	978-0-262-54623-2
No. of pages	496
Dimensions	176 mm x 229 mm x 22 mm
Subjects	Natural sciences, medicine, IT, technology > IT, data processing > Programming languages COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General, Computer programming / software engineering, Computer Programming / Software Development

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.