Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 2187 CZK
Availability: InStock

Autor: Kenneth L. McMillan

Jazyk:

Vazba: Pevná

Vydavatel: Kluwer Academic Publishers

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

2 187 Kč

Formal verification means having a mathematical model of a system, a language for specifying desired...

Informace o knize

Autor

Kenneth L. McMillan

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1993

Stránek

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Vydavatel

Kluwer Academic Publishers

Hmotnost

426

Rozměry

179 x 229 x 18

Kompletní popis

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Symbolic Model Checking

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také