Gå direkt till innehållet
  1. Böcker
  2. Facklitteratur
  3. Vetenskap & teknik

Symbolic Model Checking

engelska
645 kr
Lägsta pris på PriceRunner

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.

ISBN
9781461363996
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2012-10-23
Sidor
194