Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library - Robert P. Kurshan - Kirjat - Princeton University Press - 9780691606057 - maanantai 14. heinäkuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library

Robert P. Kurshan

Hinta
DKK 417,12

Tilattu etävarastosta

Arvioitu toimitus ke 29. loka - to 6. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

284 pages, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 14. heinäkuuta 2014
ISBN13 9780691606057
Tuottaja Princeton University Press
Sivujen määrä 284
Mitta 232 × 157 × 19 mm   ·   458 g
Kieli English  
Näytä kaikki

Lisää tuotteita Robert P. Kurshan

Katso kaikki joka sisältää Robert P. Kurshan ( Esim. Paperback Book Ja Hardcover Book )