Logics for concurrency : structure versus automata /

Guardat en:
Dades bibliogràfiques
Altres autors: Moller, Faron, 1962-, Birtwistle, G. M. (Graham M.)
Format: Llibre
Idioma:English
Publicat: Berlin ; New York : Springer, c1996.
Col·lecció:Lecture notes in computer science ; 1043.
Matèries:

CARM 1 Store

Detall dels fons de CARM 1 Store
Signatura: A2:AL25A0 B05585
Còpia 1 Disponible  Fer una reserva