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

The way of Z : practical programming with formal methods
出版社：Cambridge ; New York, NY, USA : Cambridge University Press, 1997.
ISBN：0521559766
出版年：1997
作者：Jacky,Jonathan.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

An introduction to practical formal methods using temporal logic
  • 作者：Fisher,Michael,
  • ISBN：9780470027882
  • 出版社：Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011.
  • 出版年：2011
...

Formal methods for multicore programming : 15th International School on Formal Methods for the Desig
  • 作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
  • ISBN：9783319189406
  • 出版社：Cham : Springer, 2015.
  • 出版年：2015
...

Unifying theories of programming and formal engineering methods : International Training School on S
  • 作者：International Training School on Software Engineering
  • ISBN：9783642397202
  • 出版社：Berlin : Springer, c2013.
  • 出版年：2013
...

VDM ''90 : VDM and Z - formal methods in software development : Third International Symposium of VDM
  • 作者：Bjner,D.
  • ISBN：3540525130
  • 出版社：Berlin ; Hong Kong : Springer-Verlag, 1990.
  • 出版年：1990
...

VDM and Z-formal methods in software development : VDM ''90 : 3rd International Symposium of VDM Euro
  • 作者：Bjorner,D.
  • ISBN：3540525130
  • 出版社：Berlin : Springer, c1990
  • 出版年：1990
...

VDM and Z-formal methods in software development : VDM ''90 : 3rd International Symposium of VDM Euro
  • 作者：Bjorner,D.
  • ISBN：3540525130 33.50
  • 出版社：Berlin : Springer, c1990
  • 出版年：1990