Computer-aided Verification / Nejlevnější knihy
Computer-aided Verification

Kód: 06319043

Computer-aided Verification

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of compu ... celý popis


Momentálně nedostupné

Informovat o naskladnění

Přidat mezi přání

Mohlo by se vám také líbit

Informovat o naskladnění knihy

Informovat o naskladnění knihy


Souhlas - Souhlasím se zasíláním obchodních sdělení a zpracováním osobních údajů k obchodním sdělením.

Zašleme vám zprávu jakmile knihu naskladníme

Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.

Více informací o knize Computer-aided Verification

Anotace knihy

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Algebra

O tomto obchodě



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

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

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

Copyright ©2008-24 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 Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: