Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... 9593
Descubre en esta obra las últimas propuestas sobre verificación formal de software, con estudios de caso reales y nuevas metodologías que optimizan la seguridad y confiabilidad del desarrollo.
Compartir: ![]()
![]()
![]()
![]()
![]()
![]()
eBay
El Corte Ingles
Miravia
Back Market ES
PC Componentes
| Marca | Arie Gurfinkel |
| ASIN | 3319296124 |
| MPN | 41 black & white illustrations, biograph |
| EAN | 9783319296128 |
| ISBN | 9783319296128 |
| Colección | PROGRAMMING AND SOFTWARE ENGINEERING |
| Edición | 1ª Enero de 2016 |
| Editorial | SPRINGER NATURE |
| Idiomas | INGLES |
| ISBN | 9783319296128 |
| Páginas | 223 |
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