Vinkkaa tuotetta kavereillesi:
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory
Roderick Bloem
Hinta
A$ 84,14
Tilattu etävarastosta
Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
Eller
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory
Roderick Bloem
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | tiistai 29. syyskuuta 2015 |
| ISBN13 | 9783031008832 |
| Tuottaja | Springer International Publishing AG |
| Sivujen määrä | 158 |
| Mitta | 334 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita Roderick Bloem
Katso kaikki joka sisältää Roderick Bloem ( Esim. Paperback Book )