我的图书馆

要求 添加至我的列表 添加至书袋 MARC显示 返回浏览索引 修改搜索 更多此类
     
可用条款限制搜索
找到 74 条记录 按日期排序 .
前一记录 下一记录
资源
更多信息
* Search MOBIUS *
PRINTED MAT

题名 Software engineering with OBJ : algebraic specification in action / edited by Joseph Goguen, Grant Malcolm.

出版资料 Boston : Kluwer Academic, c2000.

复本

馆藏地 索书号 处理状态
 IU 2nd Floor  QA76.758 S65615 2000    AVAILABLE
载体形态 xxvi, 410 p : ill ; 25 cm.
丛编 Advances in formal methods ; 2
Bibliography Includes bibliographical references and index.
主题 Software engineering.
Functional programming languages.
Object oriented programming (Computer science)
其它责任者 Goguen, Joseph.
Malcolm, Grant.
国际标准书号 0792377575 (alk. paper)
永久链接