Fortell venner om denne varen:
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory
Roderick Bloem
Pris
R 877
Bestillingsvarer
Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 29. september 2015 |
| ISBN13 | 9783031008832 |
| Utgivere | Springer International Publishing AG |
| Antall sider | 158 |
| Mål | 334 g |
| Språk | Engelsk |
