Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Kirjat - MIT Press Ltd - 9780262026499 - torstai 1. toukokuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Principles of Model Checking - Principles of Model Checking

Baier, Christel (Technische Universitat Dresden)

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

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

Principles of Model Checking - Principles of Model Checking

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.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 1. toukokuuta 2008
ISBN13 9780262026499
Tuottaja MIT Press Ltd
Sivujen määrä 984
Mitta 206 × 258 × 42 mm   ·   1,83 kg

Katso kaikki joka sisältää Baier, Christel (Technische Universitat Dresden) ( Esim. Hardcover Book )