📗 Libro en alemán SYSTEMS AND SOFTWARE VERIFICATION: MODEL-CHECKING TECHNIQUES AND TOOLS
VV.AA.
SPRINGER-VERLAG- 9783540415237
Ficha técnica
Editorial: Springer-verlag
ISBN: 9783540415237
Idioma: Alemán
Número de páginas: 190
Encuadernación: Tapa dura
Año de edición: 2001
Plaza de edición: Berlin
Especificaciones del producto
Opiniones sobre SYSTEMS AND SOFTWARE VERIFICATION: MODEL-CHECKING TECHNIQUES AND TOOLS
¡Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en 20€*!
