Bøger af Maria Joao Frade
Filter
Sorter efterSorter
Populære
-
- An Introduction to Program Verification
429,95 kr. 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.
- Bog
- 429,95 kr.