Logics for concurrency : structure versus automata /

Main Author: Moller, Faron, 1962-
Other Authors: Birtwistle, G. M.
Format: Book
Language:English
Published: Berlin : Springer, c1996.
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Πανεπιστήμιο Μακεδονίας-1ΠροβολήOPAC