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

KORSO: Methods, Languages, and Tools for the Construction of Correct Software
EISBN：9783540478027
PISBN：9783540605898
出版社：Springer Berlin Heidelberg
出版类型：Contributed volume
出版时间：1995
版次：1995
作者：Manfred Broy,Stefan Jähnichen
主题词：Computer Science,Software Engineering,Programming and Operating Systems,Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • 作者：Manfred Broy,Stefan Jähnichen
  • EISBN：9783540478027
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

Software Reuse: Methods, Techniques, and Tools
  • 作者：Jan Bosch,Charles Krueger
  • EISBN：9783540277996
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Rigorous Methods for Software Construction and Analysis
  • 作者：Jean-Raymond Abrial,Uwe Glässer
  • EISBN：9783642114472
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Software Reuse: Methods, Techniques, and Tools
  • 作者：Cristina Gacek
  • EISBN：9783540460206
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2002
...

Software Technology: Methods and Tools
  • 作者：Manuel Mazzara,Jean-Michel Bruel,Bertrand Meyer,Alexander Petrenko
  • EISBN：9783030298524
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Software Reuse: Methods, Techniques, and Tools
  • 作者：Jan Bosch,Charles Krueger
  • EISBN：9783540277996
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004