Program Proofs
PAYBACK Punkte
40 °P sammeln!
"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"--
Andere Kunden interessierten sich für
