Programmnachweise, Taschenbuch von Leino, K. Rustan M.; Leino, Kaleb (ILT), Marke N...
71,55 €
Program Proofs, Paperback by Leino, K. Rustan M.; Leino, Kaleb (ILT), ISBN 026254623X, ISBN-13 9780262546232, Brand New, Free P&P in the UK "Th 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"--
Jetzt bei Ebay:
![Produktbild - Program Proofs by Leino, K. Rustan M. [Paperback, 496 pages]](https://i.ebayimg.com/thumbs/images/g/DRsAAOSwi~BnlE-w/s-l140.jpg)
