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

Semantics of Specification Languages (SoSL)
EISBN：9781447132295
PISBN：9783540198543
出版社：Springer London
出版类型：Proceedings
出版时间：1994
作者：D. J. Andrews,J. F. Groote,C. A. Middelburg
主题词：Software Engineering,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Workshops in Computing
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Semantics of Specification Languages (SoSL)
  • 作者：Derek J. Andrews,Jan F. Groote,C.A. Middelburg
  • EISBN：9781447132295
  • 出版社：Springer London
  • 出版时间：1994
...

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

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

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

Advances in Design and Specification Languages for SoCs
  • 作者：Pierre Boulet
  • EISBN：9780387261515
  • 出版社：Springer US
  • 出版时间：2005
...

Logics of Specification Languages
  • 作者：Dines Bjørner,Martin C. Henson
  • EISBN：9783540741077
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008