Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Descubre cómo las técnicas formales garantizan la seguridad en sistemas críticos con este compendio revisado del taller FTSCS 2015, presentando métodos rigurosos y ejemplos prácticos que impulsan la confiabilidad del software.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Cyrille Artho |
| ASIN | 3319295098 |
| MPN | 86 black & white illustrations, biograph |
| EAN | 9783319295091 |
| ISBN | 9783319295091 |
| Colección | COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE |
| Edición | 1ª Febrero de 2016 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319295091 |
| Páginas | 271 |
