Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 383.19 PLN
Availability: InStock

Autor: Kenneth L. McMillan

Język:

Oprawa: Twarda

Wydawca: Kluwer Academic Publishers

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

383.19 zł

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

Informacje o książce

Autor

Kenneth L. McMillan

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1993

strony

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Wydawca

Kluwer Academic Publishers

Waga

426

Wymiary

179 x 229 x 18

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Symbolic Model Checking

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również