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

High-Integrity System Specification and Design
EISBN：9781447134312
PISBN：9783540762263
出版社：Springer London
出版类型：Collection of essays
出版时间：1999
作者：Jonathan P. Bowen,Michael G. Hinchey
主题词：Software Engineering,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Formal Approaches to Computing and Information Technology
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

High-Integrity System Specification and Design
  • 作者：Jonathan P. Bowen,Michael G. Hinchey
  • EISBN：9781447134312
  • 出版社：Springer London
  • 出版时间：1999
...

High-Integrity Software
  • 作者：C.T. Sennett
  • EISBN：9781468457759
  • 出版社：Springer US
  • 出版时间：1989
...

High-Integrity Software
  • 作者：C. T. Sennett
  • EISBN：9781468457759
  • 出版社：Springer US
  • 出版时间：1989
...

System Specification & Design Languages
  • 作者：Eugenio Villar,Jean Mermet
  • EISBN：9780306487347
  • 出版社：Springer US
  • 出版时间：2003
...

System Specification and Design Languages
  • 作者：Tom J. Kaźmierski,Adam Morawiec
  • EISBN：9781461414278
  • 出版社：Springer New York
  • 出版时间：2012
...

System Specification & Design Languages
  • 作者：Eugenio Villar,Jean Mermet
  • EISBN：9780306487347
  • 出版社：Springer US
  • 出版时间：2003