Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471
Descubre las contribuciones clave de la conferencia VSTTE 2014 sobre verificación formal, con artículos revisados que abordan nuevas técnicas y herramientas para asegurar la confiabilidad del software crítico.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Springer |
| MPN | 107 black & white illustrations, biograp |
| ASIN | 3319121537 |
| EAN | 9783319121536 |
| ISBN | 9783319121536 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | 1ª Octubre de 2014 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319121536 |
| Páginas | 287 |
Productos Relacionados
MS2‑100 Microscanner de Fluke – Análisis de Red
1160.60 EUR
Asus PA278QV Monitor 27" IPS WXGA HDMI DP MM
233.81 EUR
Detector billetes falsos 155-S G2
105.20 EUR