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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Bollig, Benedikt (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link