Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Descubre cómo aplicar teoría de autómatas a la verificación de procesos coordinados; el texto ofrece técnicas avanzadas y ejemplos prácticos para garantizar la fiabilidad en sistemas concurrentes.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Kurshan, Robert P. |
| ASIN | 0691606056 |
| ISBN | 0691606056 |
| EAN | 9780691606057 |
| Edición | 1ª Julio de 2014 |
| Editorial | JOHN WILEY & SONS LTD. |
| Idiomas | INGLES |
| ISBN | 9780691606057 |
| Páginas | 284 |
Productos Relacionados
Introducing Technology Computer-Aided Design
133.15 EUR
Computer-aided sculpture hardcover
112.87 EUR