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

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

Εμφάνιση άλλων εκδόσεων (1)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: 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
Διαθέσιμο Online:http://dx.doi.org/10.1007/3-540-32923-4

Διαδίκτυο

http://dx.doi.org/10.1007/3-540-32923-4

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο Unknown Στη βιβλιοθήκη

Παρόμοια τεκμήρια