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

Algebraic System Specification and Development
EISBN：9783540473824
PISBN：9783540540601
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：1991
版次：1991
作者：Michel Bidoit,Hans-Jörg Kreowski,Pierre Lescanne,Fernando Orejas,Donald Sannella
主题词：Computer Science,Computer Systems Organization and Communication Networks
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Algebraic system specification and development
  • 作者：Michel Bidoit,Hans-Jörg Kreowski,Pierre Lescanne,Fernando Orejas,Donald Sannella
  • EISBN：9783540473824
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1991
...

Foundations of Algebraic Specification and Formal Software Development
  • 作者：Donald Sannella,Andrzej Tarlecki
  • EISBN：9783642173363
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012
...

Tool Support for System Specification, Development and Verification
  • 作者：Rudolf Berghammer,Yassine Lakhnech
  • EISBN：9783709163559
  • 出版社：Springer Vienna
  • 出版时间：1999
...

Tool Support for System Specification, Development and Verification
  • 作者：Rudolf Berghammer,Yassine Lakhnech
  • EISBN：9783709163559
  • 出版社：Springer Vienna
  • 出版时间：1999
...

Semantics and Algebraic Specification
  • 作者：Jens Palsberg
  • EISBN：9783642041648
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Languages for System Specification
  • 作者：Christoph Grimm
  • EISBN：9781402079917
  • 出版社：Springer US
  • 出版时间：2004