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

Verification of business rules programs
出版社：Berlin : Springer, 2014.
ISBN：9783642400377
出版年：2014
作者：Silva,Bruno Berstel-Da,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Verification of sequential and concurrent programs
  • 作者：Gries,David
  • ISBN：0387948961
  • 出版社：New York : Springer-Verlag, 1997.
  • 出版年：1997
...

Verification of sequential and concurrent programs
  • 作者：Apt,Krzysztof R.,
  • ISBN：0387975322
  • 出版社：New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Pascal programs for business
  • 作者：Swan,Tom,
  • ISBN：0810462702
  • 出版社：Rochelle Park, N.J. : Hayden Book Co., 1983.
  • 出版年：1983
...

A survey of verification techniques for parallel programs
  • 作者：Barringer,Howard,
  • ISBN：0387152393
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Modular specification and verification of object-oriented programs
  • 作者：Muller,Peter.
  • ISBN：3540431675
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Evaluating transnational programs in government and business.
  • 作者：McMale,V.E.,
  • ISBN：0000000000
  • 出版社：New York : Pergamon Pr., 1980.
  • 出版年：1980