Estado de tu pedido Ayuda

📗 Libro en alemán AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING

JOHANN M. SCHUMANN

SPRINGER-VERLAG - 9783540679899

 Programación y lenguajes Otros lenguajes

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

Escrito por JOHANN M. SCHUMANN

Descubre más sobre JOHANN M. SCHUMANN
Recibe novedades de JOHANN M. SCHUMANN directamente en tu email

Opiniones sobre AUTOMATED THEOREM PROVING IN SOFTWARE ENGINEERING

¡Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en 20€*!

Los libros más vendidos esta semana