Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Birtwistle, Graham (Επιμελητής έκδοσης), Moller, Faron (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag c1996
Σειρά:Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1043
Θέματα:

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