Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Krzysztof R. Apt

Filter
Filter
Ordnen nachSortieren Beliebt
  • 12% sparen
    von Ernst-Rüdiger Olderog, Krzysztof R. Apt & Frank S. De Boer
    75,00 - 93,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.