Apparemment, javascript est désactivé sur votre navigateur.

Javascript doit être activé dans votre navigateur pour utiliser toutes les fonctionnalités de ce site.

Decision Procedures: An Algorithmic Point of View

Name: Decision Procedures: An Algorithmic Point of View
Price: 53.45 EUR
Availability: Instock
Author: Daniel Kroening
ISBN: 9783540741046

Daniel Kroening

Note moyenne

Donner le premier avis

53,45 € Neuf

Grand format 53,45 €

Expédié sous 6 à 12 jours

Livré chez vous entre le 25 juin et le 2 juillet

En magasin

Date de parution

01/01/2009
Editeur

Springer
ISBN

978-3-540-74104-6
EAN

9783540741046

Écoutez ce qu'en disent nos libraires !

Livres Sciences et médecine Mathématiques

53,45 €

Decision Procedures: An Algorithmic Point of View

Daniel Kroening

Caractéristiques

Avis libraires et clients

Avis audio

Souvent acheté ensemble

Vous aimerez aussi

Derniers produits consultés

Decision Procedures: An Algorithmic Point of View est également présent dans les rayons