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

Larch: Languages and Tools for Formal Specification
EISBN：9781461227045
PISBN：9781461276364
出版社：Springer New York
出版类型：Handbook
出版时间：1993
作者：John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wing
主题词：Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts and Monographs in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Larch: Languages and Tools for Formal Specification
  • 作者：John V. Guttag,James J. Horning
  • EISBN：9781461227045
  • 出版社：Springer New York
  • 出版时间：1993
...

Formal Specification
  • 作者：Nimal Nissanke
  • EISBN：9781447107910
  • 出版社：Springer London
  • 出版时间：1999
...

Formal Specification
  • 作者：Nimal Nissanke
  • EISBN：9781447107910
  • 出版社：Springer London
  • 出版时间：1999
...

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

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