Recomienda este artículo a tus amigos:
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory Roderick Bloem
Precio
$ 49,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 15 - 26 de jun.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de septiembre de 2015 |
| ISBN13 | 9783031008832 |
| Editores | Springer International Publishing AG |
| Páginas | 158 |
| Dimensiones | 150 × 220 × 10 mm · 334 g |
| Lengua | Inglés |
