Logics for concurrency : structure versus automata /

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Moller, Faron, 1962-, Birtwistle, G. M. (Graham M.)
Format: Buch
Sprache:English
Veröffentlicht: Berlin ; New York : Springer, c1996.
Schriftenreihe:Lecture notes in computer science ; 1043.
Schlagworte:

CARM 1 Store

Bestandesangaben von CARM 1 Store
Signatur: A2:AL25A0 B05585
Exemplar 1 Verfügbar  Bestellen