Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 500.07 RON
Availability: InStock

Autor: Kenneth L. McMillan

Limbă:

Legare: Copertă tare

Editura: Kluwer Academic Publishers

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

500.07 lei

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

Informații despre carte

Autor

Kenneth L. McMillan

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1993

Pagini

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Editura

Kluwer Academic Publishers

Greutate

426

Dimensiuni

179 x 229 x 18

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Symbolic Model Checking

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și