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

Formal specification and software development
出版社：Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
ISBN：0133290034
出版年：1982
作者：Bjr?ner,D.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

The use of formal specification of software
  • 作者：Berg,H. K.
  • ISBN：3540104429
  • 出版社：Berlin: Springer-Verlag, 1980.
  • 出版年：1980
...

Formal methods and software development.
  • 作者：Goos,G.
  • ISBN：3540151990
  • 出版社：Berlin: Springer-Verlag, 1985.
  • 出版年：1985
...

Formal software development from VDM to Java
  • 作者：Charatan,Quentin.
  • ISBN：0333992814
  • 出版社：Basingstoke : Palgrave Macmillan, 2004.
  • 出版年：2004
...

Formal specification and design
  • 作者：Feijs,L. M. G.
  • ISBN：0521435927
  • 出版社：New York : Cambridge University Press, 2005.
  • 出版年：2005
...

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

The Use of formal specification of software and firmware, June 25-27, 1979, Berlin
  • 作者：Berg,H. K.
  • ISBN：0387104429
  • 出版社：Berlin ; New York : Springer-Verlag, 1980.
  • 出版年：1980