| Libro en ALEMÁN
AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING
Descatalogado por distribuidor
Actualmente el distribuidor ha dejado de editar este producto pero podemos avisarte por correo electrónico si vuelve a estar disponible. Para esto, introduce tu email y pulsa sobre el botón “Avísame”.
¿Quieres que te avisemos si lo volvemos a recibir?
Ficha Técnica
Editorial: Springer-verlag
ISBN: 9783540679899
Idioma: Alemán
Número de páginas: 228
Encuadernación: Tapa dura
Fecha de lanzamiento: 19/09/2001
Año de edición: 2001
Plaza de edición: Heidelberg
Especificaciones del producto
Recibe novedades de JOHANN M. SCHUMANN directamente en tu email
Reseñas sobre AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING
Comparte tu experiencia con la comunidad lectora.
0 Reseñas
5 0
4 0
3 0
2 0
1 0
Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€
Publicar una opinión supone haber leído y aceptado las
bases del sorteo
"Tu opinión tiene premio".
