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 - 9783642096051 - tiistai 30. marraskuuta 2010
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 Softcover reprint of hardcover 1st ed. 2008 edition

Javier Esparza

Hinta
zł 430,90

Tilattu etävarastosta

Arvioitu toimitus to 24. heinä - pe 1. elo

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 Softcover reprint of hardcover 1st ed. 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.

184 pages, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 30. marraskuuta 2010
ISBN13 9783642096051
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 172
Mitta 155 × 235 × 9 mm   ·   267 g
Kieli English  
Näytä kaikki

Lisää tuotteita Javier Esparza

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