登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Program Development by Refinement
EISBN：9781447105855
PISBN：9781852330538
出版社：Springer London
出版类型：Reference work
出版时间：1999
版次：1999
作者：Emil Sekerinski,Kaisa Sere
主题词：Computer Science,Software Engineering,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Formal Approaches to Computing and Information Technology (FACIT)
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Program Development by Refinement
  • 作者：Emil Sekerinski,Kaisa Sere
  • EISBN：9781447105855
  • 出版社：Springer London
  • 出版时间：1999
...

Automatic Program Development
  • 作者：Olivier Danvy,Fritz Henglein,Harry Mairson,Alberto Pettorossi
  • EISBN：9781402065859
  • 出版社：Springer Netherlands
  • 出版时间：2008
...

Formal Program Development
  • 作者：Bernhard Möller,Helmut Partsch,Steve Schuman
  • EISBN：9783540481973
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993
...

Formal Program Development
  • 作者：Bernhard Möller,Helmut Partsch,Steve Schuman
  • EISBN：9783540481973
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993
...

Mathematical Methods in Program Development
  • 作者：Manfred Broy,Birgit Schieder
  • EISBN：9783642608582
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

Program Development by Specification and Transformation
  • 作者：Berthold Hoffmann,Bernd Krieg-Brückner
  • EISBN：9783540476399
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993