Computation Engineering

Name: Computation Engineering
Brand: Springer, Berlin
SKU: 9780387244181
Price: 566.74 RON
Availability: InStock

Applied Automata Theory and Logic

Autor: Ganesh C. Gopalakrishnan

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

566.74 lei

Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the oppor...

Informații despre carte

Autor

Ganesh C. Gopalakrishnan

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2006

Pagini

472

EAN

9780387244181

ISBN

0387244182

Enbook ID

02263611

Editura

Springer, Berlin

Greutate

978

Dimensiuni

156 x 234 x 28

Descriere completă

Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, 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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computation Engineering

Applied Automata Theory and Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și