登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Software engineering with OBJ : algebraic specification in action
出版社：Boston : Kluwer Academic, c2000.
ISBN：0792377575
出版年：2000
作者：Goguen,Joseph,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software specification and design : an engineering approach
  • 作者：Munson,John C.
  • ISBN：0849319927
  • 出版社：Boca Raton : Auerbach Publications, 2006.
  • 出版年：2006
...

Algebraic specifications in software engineering : an introduction
  • 作者：Horebeek,Ivo Van.
  • ISBN：3540516263 16.00
  • 出版社：Berlin : Springer, 1989.
  • 出版年：1989
...

Algebraic specifications in software engineering : an introduction
  • 作者：Horebeek,Ivo van,
  • ISBN：0387516263
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Algebraic specifications in software engineering : an introduction
  • 作者：Horebeek,Ivo Van.
  • ISBN：3540516263
  • 出版社：Berlin : Springer, 1989.
  • 出版年：1989
...

Algebraic specification techniques and tools for software development : the ACT approach
  • 作者：Classen,Ingo.
  • ISBN：9810212275
  • 出版社：Singapore ; River Edge, N.J. : World Scientific, 1993.
  • 出版年：1993
...

Software Engineering 2/ Specification of Systems and Languages
  • 作者：Bjoner,D.
  • ISBN：9783540211501
  • 出版社：Berlin : Springer, 2006
  • 出版年：2006