Computation Engineering: Applied Automata Theory and Logic - Couverture rigide

Gopalakrishnan, Ganesh

 
9780387244181: Computation Engineering: Applied Automata Theory and Logic
Couverture rigide
ISBN 10 : 0387244182 ISBN 13 : 9780387244181
Editeur : Springer-Verlag New York Inc., 2006

Synopsis

Although it is critical in today's world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

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

Éditeur
Springer-Verlag New York Inc.
Date d'édition
2006
Langue
anglais
ISBN 10 
0387244182
ISBN 13 
9780387244181
Reliure
Relié
Nombre de pages
508
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

9781441937414: Computation Engineering: Applied Automata Theory and Logic

Edition présentée

ISBN 10 :  1441937412 ISBN 13 :  9781441937414
Editeur : Springer, 2010
Couverture souple