Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

• Κύριος συγγραφέας: Bollig, Benedikt
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Θέματα: Software engineering; Information theory; Computer science; Computer software; Information systems; Computer Science; Software Engineering; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Information Systems and Communication Service