Bøger af Jorge Sousa Pinto - bogreolen.dk

Black Week: Spar op til 85% Spar op til 85% på et kæmpe udvalg af gode bøger

Udvidet returret til d. 31. januar 2025

Populære

Language Engineering and Rigorous Software Development

- International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

af Ana Bove

572,95 kr.
- Bog
- 572,95 kr.
Se mere
Rigorous Software Development

- An Introduction to Program Verification

af Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto & mfl.

424,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
- 424,95 kr.
Se mere