Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

資料種別:
図書
責任表示:
Peter E. Lauer (ed.)
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
x, 398 p. : ill. ; 24 cm
著者名:
Lauer, Peter E <DA07050437>  
シリーズ名:
Lecture notes in computer science ; 693 <BA00009279>
書誌ID:
BA20594069
ISBN:
9783540568834 [3540568832] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387568836 [0387568832] (: us)  CiNii Books  Webcat Plus  Google Books
電子版が利用できる場合の注意事項は こちら をご覧ください。
電子版
Loading
子書誌情報
Loading
所蔵情報
Loading availability information