Program Proofs
ISBN: 9780262546232
RM541.45
Publisher,Mit Pr
Publication Date,
Format, Paperback
Weight,
No. of Pages, 474
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--
