Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Grāmatas - MIT Press Ltd - 9780262026499 - 2008. gada 1. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Baier, Christel (Technische Universitat Dresden)
Principles of Model Checking - Principles of Model Checking

Cena
€ 133,99

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

Paredzamā piegāde . gada 24. sept. - . gada 19. okt.
Saņemiet paziņojumus par jauniem Baier, Christel (Technische Universitat Dresden) 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

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

984 pages, illus.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2008. gada 1. maijs
ISBN13 9780262026499
Izdevēji MIT Press Ltd
Lapas 984
Izmēri 206 × 258 × 42 mm   ·   1,83 kg

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

Skatīt visus Baier, Christel (Technische Universitat Dresden)