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

Logics of Specification Languages
EISBN：9783540741077
PISBN：9783540741060
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：2008
作者：Dines Bjørner,Martin C. Henson
主题词：Mathematical Logic and Formal Languages,Software Engineering,Logics and Meanings of Programs,Theory of Computation
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Monographs in Theoretical Computer Science. An EATCS Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

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
...

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

Programming Languages: Implementations, Logics and Programs
  • 作者：Manuel Hermenegildo,S.Doaitse Swierstra
  • EISBN：9783540450481
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1995
...

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