Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science - Robert P. Kurshan - Kirjat - Princeton University Press - 9780691634890 - tiistai 19. huhtikuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

Robert P. Kurshan

Hinta
NZ$ 271,70

Tilattu etävarastosta

Arvioitu toimitus ti - ke 21. - 29. loka

Asiakkaamme sanovat:

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

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

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     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 19. huhtikuuta 2016
ISBN13 9780691634890
Tuottaja Princeton University Press
Sivujen määrä 284
Mitta 152 × 229 × 18 mm   ·   567 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 )