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

Understanding Z : a specification language and its formal semantics
出版社：Cambridge ; New York : Cambridge University Press, 2008.
ISBN：0521054141
出版年：2008
作者：Spivey,J. M.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

A theory of programming language semantics
  • 作者：Milne,Robert,
  • ISBN：0470989068
  • 出版社：London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976.
  • 出版年：1976
...

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z
  • 作者：International Conference of B and Z Users
  • ISBN：3540431667
  • 出版社：Berlin : London : Springer, c2002.
  • 出版年：2002
...

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z
  • 作者：International Conference of B and Z Users
  • ISBN：3540255591
  • 出版社：Berlin : Springer, c2005.
  • 出版年：2005
...

Denotational semantics : a methodology for language development
  • 作者：Schmidt,David A.,
  • ISBN：0205089747
  • 出版社：Boston : Allyn and Bacon, 1986.
  • 出版年：1986
...

ZB 2002 : formal specification and development in Z and B : Second International Conference of B and
  • 作者：International Conference of B and Z Users
  • ISBN：3540431667
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Formal semantics : an introduction
  • 作者：Cann,Ronnie.
  • ISBN：0521374634
  • 出版社：Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
  • 出版年：1993