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
Details
2007Uitgever: Amsterdam University PressReeks: Texts in Logic and Games736 paginasTaal: EngelsGrootte: 234x156x45ISBN-10: 9053565760ISBN-13: 9789053565766Helaas, laatste exemplaar van deze editie is recent verkocht!