Fortell venner om denne varen:
Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 2008 edition
Javier Esparza
Pris
元 777
Bestillingsvarer
Forventes levert 29. jul - 6. aug
Legg til iMusic ønskeliste
Eller
Finnes også som:
Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 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.
188 pages, black & white illustrations
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 27. mars 2008 |
| ISBN13 | 9783540774259 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 172 |
| Mål | 241 × 166 × 16 mm · 430 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)
