Wiskundige logica en automata theorie zijn twee wetenschappelijke disciplines die nauw met elkaar verbonden zijn. Deze relatie is niet alleen fundamenteel voor velen theoretische resultaten, maar vormt ook de basis voor een coherente methodologie voor de controle en synthese van gegevensverwerkingssystemen. De auteurs van Logic en Automata grijpen
ISBN |
9789053565766 |
Hoofdtitel |
Logic and Automata |
Ondertitel |
history and perspectives |
Commerciële titel |
Texts in Logic and Games Logic and Automata |
Categorieën |
Informatica |
Druk |
1 |
Verschijningsvorm |
Paperback / softback |
Verschijningsdatum |
06-12-2007 |
Uitgever |
Amsterdam University Press |
Auteur |
|
Redacteur |
E. Grädel |
Redacteur |
J. Flum |
Redacteur |
T. Wilke |
Imprint |
|
Taal |
English |
Illustraties |
Ja |
Pagina's |
736 |
Gewicht |
1231 gr |
Formaat |
234 x 156 x 45 |