题名:
LITP Spring School on Theoretical Computer Science (1990 : La Roche Posay)   / I. Guessarian ed. ,
ISBN:
价格: ¥25.90
语种:
eng
载体形态:
456 p.
出版发行:
出版地: Berlin 出版社: Springer-Verlag 出版日期: 1990
其它题名:
Semantics of systems of concurrent processes
主要责任者:
Guessarian
主要团体责任者:
LITP Spring School on Theoretical Computer Science
索书号:
1