Record:   Prev Next
書名 Iteration theories : equational logic of iterative processes / Stephen L. Bloom, Zoltán Ésik (eds.)
出版項 Berlin ; New York : Springer-Verlag, c1993
國際標準書號 0387563784
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.9.M35 I56 1993    在架上    30340200287492
 資訊所圖書室圖書區  F4.1 B655    在架上    30330000095724
Record:   Prev Next