Semantics of Systems of Concurrent Processes: LITP Spring School on Theoritical Computer Science La Roche Posay, France, April 1990 Proceedings: AISB ... Notes in Computer Science, 993, Band 993)

Ein kompakter Leitfaden aus La Roche Posay 1990, der die Semantik von parallelen Prozessen in theoretischer Informatik beleuchtet und praktische Model ...

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540604693
MPN
Springer Berlin Heidelberg 6893827

Eigenschaften

Menü