Udvidet returret til d. 31. januar 2025

Bøger af Simao Melo de Sousa

Filter
Filter
Sorter efterSorter Populære
  • - An Introduction to Program Verification
    af Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto & mfl.
    415,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.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.