Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computation Engineering: Applied Automata Theory and Logic

Computation Engineering: Applied Automata Theory and Logic

Book Informaton
Computation Engineering: Applied Automata Theory and Logic

Author

Ganesh Gopalakrishnan

Year of Publication

2006

Publisher

Springer US

Pages

XXXVI, 472

Language

EN

ISBN

9780387244181, 9780387325200, 0387244182

ARI Id

1664083527736

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 9 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Machine theory Mathematics Computer logic Computer science Informatique Komplexitätstheorie Automates mathématiques Théorie des Model Checking Mathématiques Automatentheorie Theoretische Informatik Logique informatique Computer engineering