Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 95.29 EUR
Availability: InStock

Autor: Kenneth L. McMillan

Jazyk:

Väzba: Pevná

Vydavateľ: Kluwer Academic Publishers

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

95.29 €

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

Informácie o knihe

Autor

Kenneth L. McMillan

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1993

Stránok

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Vydavateľ

Kluwer Academic Publishers

Hmotnosť

426

Rozmery

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 zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Symbolic Model Checking

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež