Siirry suoraan sisältöön
Rigorous Software Development
Tallenna

Rigorous Software Development

43,90 €
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
Alaotsikko
An Introduction to Program Verification
Painos
2011 ed.
ISBN
9780857290175
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
7.1.2011
Sivumäärä
307