Computation engineering: applied automata theory and logic
Auteur :
Gopalakrishnan, Ganesh C.
Éditeur :
Gopalakrishnan, Ganesh C.
ISBN :
9780387244181
Date de publication :
2 juin 2006
Dimensions :
23,4 x 15,6 x 2,8 cm
Poids :
885 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. This title includes key concepts that are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.