To view prices and purchase online, please login, or register for an account.
(Paperback)
By: K. Rustan M. Leino
ISBN: 9780262546232
Readership/Audience: General
Publication Date: Apr 2023
Publisher: MIT Press Ltd
See more...
"The book shows what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs"--
