Fortell venner om denne varen:
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
Pris
zł 391,90
Bestillingsvarer
Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
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
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 30. november 2010 |
| ISBN13 | 9783642096051 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 172 |
| Mål | 155 × 235 × 9 mm · 267 g |
| Språk | Engelsk |
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/470/9783662439470.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-i-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1443765989)
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and General Issues (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/500/9783662439500.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-ii-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1443765990)
