[email protected]
Nous vous répondrons dans les 24 heures
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Contact
Comment faire ses achats
Assistance
Livraison
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Guide d'achat
Nous sommes à votre disposition !
[email protected]
Mon compte
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages.
Créer un compte gratuitement
▸
Vide :-(
0
Automated Model Building
Langue
Anglais
Anglais
Livre
Livre relié
Provides information on automated model building, a discipline of automated deduction that is of gro...
Description détaillée
Code Libristo: 08348611
?
488 b
488 b
206.48
€
včetně DPH
Stockage externe en petites quantités
Expédition sous 13-16 jours
common.delivery_to
common.delivery_to
Politique de retour sous 30 jours
Ceci pourrait également vous intéresser
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.
À propos du livre
Nom complet
Automated Model Building
Auteur
Nicolas Peltier
Langue
Anglais
Anglais
Reliure
Livre - Livre relié
Date de parution
2004
Nombre de pages
341
EAN
9781402026522
ISBN
9781402026522
Code Libristo
08348611
Éditeurs
Springer-Verlag New York Inc.
Poids
713
Dimensions
155 x 235 x 23
