Vi bøger
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025

Bøger af Krzysztof R. Apt

Filter
Filter
Sorter efterSorter Populære
  • af Ernst-Rüdiger Olderog, Krzysztof R. Apt & Frank S. De Boer
    946,95 - 1.154,95 kr.

    This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Gør som tusindvis af andre bogelskere

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