Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 9780792393801
Price: 35444 HUF
Availability: InStock

Szerző: Kenneth L. McMillan

Nyelv:

Kötés: Kemény kötésű

Kiadó: Kluwer Academic Publishers

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

35 444 Ft

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

Információk a könyvről

Szerző

Kenneth L. McMillan

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1993

oldal

194

EAN

9780792393801

ISBN

0792393805

Enbook ID

42163944

Kiadó

Kluwer Academic Publishers

Súly

426

Méretek

179 x 229 x 18

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Symbolic Model Checking

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták