Logic and Automata - Flum, Jörg. & Erich Grädel, Thomas Wilke. (editors).

history and perspectives

KORTE INHOUD

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
2007Taal: Engelszie alle details...

Details

2007Uitgever: Amsterdam University PressReeks: Texts in Logic and Games736 paginasTaal: EngelsGrootte:  234x156x45ISBN-10: 9053565760ISBN-13: 9789053565766

REVIEWS VAN DIT BOEK