Model Checking - Cyber Physical Systems Series - Jr., Edmund M. Clarke (Carnegie Mellon University) - Grāmatas - MIT Press Ltd - 9780262038836 - 2018. gada 4. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Jr., Edmund M. Clarke (Carnegie Mellon University)
Model Checking - Cyber Physical Systems Series Second edition

Cena
€ 76,49

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

Paredzamā piegāde . gada 23. okt. - . gada 17. nov.
Saņemiet paziņojumus par jauniem Jr., Edmund M. Clarke (Carnegie Mellon University) 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

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

424 pages, 154 b 308 Illustrations, unspecified

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2018. gada 4. decembris
ISBN13 9780262038836
Izdevēji MIT Press Ltd
Lapas 424
Izmēri 187 × 236 × 25 mm   ·   828 g
Valoda Angļu  
Sērijas redaktors Belta, Calin (Professor, Boston University)

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

Skatīt visus Jr., Edmund M. Clarke (Carnegie Mellon University)