Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series - Javier Esparza - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540774259 - torstai 27. maaliskuuta 2008
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 2008 edition

Javier Esparza

Hinta
zł 430,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 23. - 31. heinä

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 2008 edition

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

188 pages, black & white illustrations

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 27. maaliskuuta 2008
ISBN13 9783540774259
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 172
Mitta 241 × 166 × 16 mm   ·   430 g
Kieli English  
Näytä kaikki

Lisää tuotteita Javier Esparza

Katso kaikki joka sisältää Javier Esparza ( Esim. Paperback Book Ja Hardcover Book )