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

Semantic Integration of Heterogeneous Software Specifications
EISBN：9783662098530
PISBN：9783540402572
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：2004
版次：2004
作者：Martin Große-Rhode
主题词：Computer Science,Software Engineering,Programming and Operating Systems,Theory of Computation,Programming Techniques,Software Engineering,Programming Languages,Compilers,Interpreters
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Monographs in Theoretical Computer Science. An EATCS Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Semantic Integration of Heterogeneous Software Specifications
  • 作者：Martin Große-Rhode
  • EISBN：9783662098530
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Abstract Software Specifications
  • 作者：D. Bjorner
  • EISBN：9783540381365
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1980
...

Abstract Software Specifications
  • 作者：Dines Bjøorner
  • EISBN：9783540381365
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1980
...

Algebraic Specifications in Software Engineering
  • 作者：Ivo Van Horebeek,Johan Lewi
  • EISBN：9783642750304
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1989
...

Algebraic Specifications in Software Engineering
  • 作者：Ivo Horebeek,Johan Lewi
  • EISBN：9783642750304
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1989
...

Chiplet Design and Heterogeneous Integration Packaging
  • 作者：John H. Lau
  • EISBN：9789811999178
  • 出版社：Springer Nature
  • 出版时间：2023