Automated Theorem Proving in Software Engineering - Johann M. Schumann - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540679899 - 20 de junio de 2001
En caso de que portada y título no coincidan, el título será el correcto

Johann M. Schumann
Automated Theorem Proving in Software Engineering 2001 edition

Precio
Mex$ 1.137
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 7 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.

250 pages, 41 black & white tables, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de junio de 2001
ISBN13 9783540679899
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 250
Dimensiones 156 × 234 × 15 mm   ·   471 g
Lengua Inglés  
Colaborador D. Loveland

Mere med samme udgiver

Ver todo de Johann M. Schumann ( Ej. Hardcover Book y Paperback Book )