Gå direkte til innholdet
Rigorous Software Development
Spar

Rigorous Software Development

401,-
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.
Undertittel
An Introduction to Program Verification
Opplag
2011 ed.
ISBN
9780857290175
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
7.1.2011
Antall sider
307