Bøger af Jorge Sousa Pinto
Filter
Sorter efterSorter
Populære
-
- International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
550,95 kr. - Bog
- 550,95 kr.
-
- An Introduction to Program Verification
408,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
- 408,95 kr.