The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings

フォーマット:
図書
責任表示:
edited by B.T. Denvir ... [et al.]
言語:
英語
出版情報:
Berlin ; New York ; Tokyo : Springer-Verlag, c1985
形態:
vii, 398 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 207 <BA00009279>
書誌ID:
BA00536831
ISBN:
9780387160474 [0387160477] (: us)
9783540160472 [3540160477] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information