Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993
著者
書誌事項
Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993
（Workshops in computing）
Springer-Verlag, c1994
- : us : acid-free paper
- : gw : acid-free paper
大学図書館所蔵 全8件
注記
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index