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

Compiler specification and verification
出版社：Berlin ; New York : Springer-Verlag, 1981.
ISBN：0387108866
出版年：1981
作者：Polak,Wolfgang,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Communication protocol specification and verification
  • 作者：Lai,Richard.
  • ISBN：0792382846
  • 出版社：Boston : Kluwer Academic, c1998.
  • 出版年：1998
...

Specification and verification of concurrent systems
  • 作者：Rattray,C.
  • ISBN：3540195815
  • 出版社：London ; New York : Springer-Verlag, 1990.
  • 出版年：1990
...

Reactive systems : modelling, specification and verification
  • 作者：Aceto,Luca.
  • ISBN：9780521875462
  • 出版社：Cambridge ; New York : Cambridge University Press, 2007.
  • 出版年：2007
...

Formal methods of program verification and specification
  • 作者：Berg,H. K.
  • ISBN：0133288072
  • 出版社：Englewood Cliffs : Prentice-Hall, c1982
  • 出版年：1982
...

Formal Methods of Progam Verification and Specification
  • 作者：H.K.Berg
  • ISBN：0133288072
  • 出版社：0000.00
...

Software and systems safety : specification and verification
  • 作者：NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
  • ISBN：9781607507109
  • 出版社：Amsterdam ; Washington, D.C. : IOS Press, c2011.
  • 出版年：2011