Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science - Robert P. Kurshan - Grāmatas - Princeton University Press - 9780691606057 - 2014. gada 14. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 80,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. sept. - . gada 12. okt.
Saņemiet paziņojumus par jauniem Robert P. Kurshan izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2014. gada 14. jūlijs
ISBN13 9780691606057
Izdevēji Princeton University Press
Lapas 284
Izmēri 232 × 157 × 19 mm   ·   458 g
Valoda Angļu  

Vairāk no Robert P. Kurshan

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Robert P. Kurshan