Gå direkt till innehållet
Rigorous Software Development
Spara

Rigorous Software Development

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.
Undertitel
An Introduction to Program Verification
Upplaga
2011 ed.
ISBN
9780857290175
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-01-07
Sidor
307