Symbolic Model Checking - Kenneth L. McMillan - Bøker - Springer-Verlag New York Inc. - 9781461363996 - 23. oktober 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition

Kenneth L. McMillan

Pris
NOK 719

Bestillingsvarer

Forventes levert 20. - 30. mai

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste

Finnes også som:

Symbolic Model Checking Softcover reprint of the original 1st ed. 1993 edition

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.

194 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 23. oktober 2012
ISBN13 9781461363996
Utgivere Springer-Verlag New York Inc.
Antall sider 194
Mål 233 × 155 × 17 mm   ·   308 g
Språk Engelsk  

Se alt med Kenneth L. McMillan ( f.eks. Bok og Pocketbok )