Decision Procedures: An Algorithmic Point of View - Couverture souple

Kroening, Daniel

 
9783642093449: Decision Procedures: An Algorithmic Point of View
Couverture souple
ISBN 10 : 3642093442 ISBN 13 : 9783642093449
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010

Synopsis

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2010
Langue
anglais
ISBN 10 
3642093442
ISBN 13 
9783642093449
Reliure
Broché
Numéro d'édition
1
Nombre de pages
306
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540741046: Decision Procedures: An Algorithmic Point of View

Edition présentée

ISBN 10 :  3540741046 ISBN 13 :  9783540741046
Editeur : Springer-Verlag Berlin and Heide..., 2008
Couverture rigide