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

Rigorous software development : an introduction to program verification
出版社：London : Springer, c2011
ISBN：9780857290175
出版年：2011
作者：Almeida,José Bacelar
资源类型：图书
细分类型：馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software development : a rigorous approach
  • 作者：Jones,C. B.
  • ISBN：0138218846
  • 出版社：Englewood Cliffs, N.J. : Prentice/Hall International, 1980.
  • 出版年：1980
...

An introduction to formal program verification
  • 作者：Mili,Ali.
  • ISBN：0442263228
  • 出版社：New York : Van Nostrand Reinhold, c1985.
  • 出版年：1985
...

Program verification
  • 作者：Francez,Nissim.
  • ISBN：0201416085
  • 出版社：Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., c1992.
  • 出版年：1992
...

Language engineering and rigorous software development : International LerNet ALFA Summer School 200
  • 作者：International LerNet ALFA Summer School
  • ISBN：9783642031526
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Software Metics:a rigorous approach
  • 作者：N.E.Fenton
  • ISBN：0442313551
  • 出版社：0000.00
...

Software metrics : a rigorous approach
  • 作者：Fenton,Norman E.
  • ISBN：0442313551
  • 出版社：London : Chapman , 1991.
  • 出版年：1991