Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Automated Model Building

Name: Automated Model Building
Brand: Springer-Verlag New York Inc.
SKU: 08348611
Price: 181.49 EUR
Availability: InStock
Author: Nicolas Peltier
ISBN: 9781402026522

Nicolas Peltier

Idioma

Inglés

Libro Tapa dura

Código Libristo: 08348611

Editores Springer-Verlag New York Inc., septiembre 2004

Provides information on automated model building, a discipline of automated deduction that is of gro... Descripción completa

Código Libristo: 08348611

444 b

181.49 €

Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

NAMIBIA Kai-Uwe Küchler

Tapa dura

49.29 €

Histoire Generale de Portugal, Par M. de La Clede, ... Rollin

Tapa blanda

32.79 €

Einfach selbst reparieren - Handy, Kamera, Fernseher, Computer und Co. Reader's Digest

Adobe ePub DRM

4.59 €

Dunkle Wut Michael Katz Krefeld

MP3

8.79 €

Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques.