Formal Techniques for Distributed Objects, Components, and Systems
Descubre cómo aplicar técnicas formales para diseñar y verificar objetos, componentes y sistemas distribuidos, con un enfoque práctico sobre modelos de comportamiento, propiedades de seguridad y consistencia.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Elvira Albert |
| ASIN | 3319395696 |
| EAN | 9783319395692 |
| ISBN | 9783319395692 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | 1ª Junio de 2016 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319395692 |
| Páginas | 275 |
