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

Algebraic Foundations of Systems Specification
EISBN：9783642598517
PISBN：9783540637721
出版社：Springer Berlin Heidelberg
出版类型：Professional book
出版时间：1999
版次：1999
作者：Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner
主题词：Computer Science,Programming Techniques,Software Engineering,Logics and Meanings of Programs,Mathematics of Computing
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：IFIP State-of-the-Art Reports
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Algebraic Foundations of Systems Specification
  • 作者：Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner
  • EISBN：9783642598517
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1999
...

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

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

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

Fundamentals of Algebraic Specification 2
  • 作者：Hartmut Ehrig,Bernd Mahr
  • EISBN：9783642612848
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990
...

Fundamentals of Algebraic Specification 2
  • 作者：Hartmut Ehrig,Bernd Mahr
  • EISBN：9783642612848
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1990