Nyt fra Javier Esparza
Unfoldings
(Hardback)
-
A Partial-order Approach to Model Checking
|
(ingen boganmeldelser)
|
|
 Tip
en ven
 Link
til denne side
|
| Normalpris: |
|
| Din pris: | kr. 535,73 - Gratis levering! (Læs mere) |
| Du sparer: | DKK 184,22 (25,59%) |
| Leveringstid: |
5-10 hverdage
|
| Serie: | Monographs in Theoretical Computer Science. an Eatcs Series |
| Sprog: |
Engelsk
|
| Se produktdetaljer (sideantal, udgivelsesdato, udgave, ISBN m.v.) |
Alt om bogen:
| Andre udgaver | Pris |
|---|---|
| Unfoldings (Paperback, Softcover reprint of hardcover 1st ed. 2008. udgave) |
DKK 535,73 |
Andre bøger, der måske vil interessere dig:
DKK 225,65
DKK 225,59
DKK 410,08
DKK 498,00
DKK 219,68
DKK 140,98
DKK 419,95
DKK 219,68
DKK 225,59
DKK 169,18
DKK 403,38
DKK 282,01
DKK 314,98
Beskrivelser af Unfoldings
- Forlagets beskrivelse
- Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. This book is suitable for researchers and graduate students engaged in automatic verification and concurrency theory. 51 black & white illustrations, 4 black & white tables
- Bibliotekernes beskrivelse
- In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of the method and detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.
Andre bøger af Javier Esparza, Keijo Heljanko
DKK 383,07
DKK 366,28
DKK 536,45
DKK 371,60
DKK 535,73
