Verification of Sequential and Concurrent Programs / Nejlevnější knihy
Verification of Sequential and Concurrent Programs

Kód: 08577018

Verification of Sequential and Concurrent Programs

Autor Ernst-Rudiger Olderog

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 c ... celý popis

1843 Kč


Skladem u dodavatele
Odesíláme za 8-11 dnů
Přidat mezi přání

Mohlo by se vám také líbit

Darujte tuto knihu ještě dnes
  1. Objednejte knihu a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Verification of Sequential and Concurrent Programs

Nákupem získáte 184 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Algorithms & data structures

1843 Kč

Oblíbené z jiného soudku

O tomto obchodě



Nákupní rádce
Přehledy
Knihy podle jazyka
Platba
Doručení 54 Kč

Osobní odběr Praha, Brno a 47529 dalších

Česko
България Hrvatska România Magyarország Polska Slovensko

Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies

Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Balikovně a PPL
boxech zdarma nad 1 499 Kč.

Nacházíte se: