De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Jorge Sousa Pinto

Filter
Filter
Sorter efterSorter Populære
  • - International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
    af Ana Bove
    550,95 kr.

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