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

mural: A Formal Development Support System
EISBN：9781447131809
PISBN：9783540196518
出版社：Springer London
出版类型：Monograph
出版时间：1991
作者：C. B. Jones,K. D. Jones,P. A. Lindsay,R. D. Moore
主题词：Mathematical Logic and Formal Languages,Software Engineering,Algorithms
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

mural: A Formal Development Support System
  • 作者：C.B. Jones,K.D. Jones,Peter Lindsay,R.D. Moore
  • EISBN：9781447131809
  • 出版社：Springer London
  • 出版时间：1991
...

Formal Methods for Distributed System Development
  • 作者：Tommaso Bolognesi,Diego Latella
  • EISBN：9780387355337
  • 出版社：Springer US
  • 出版时间：2000
...

Formal Methods for Distributed System Development
  • 作者：Tommaso Bolognesi,Diego Latella
  • EISBN：9780387355337
  • 出版社：Springer US
  • 出版时间：2000
...

Strategic Spatial Planning Support System for Sustainable Development
  • 作者：Yan Ma; Zhenjiang Shen
  • EISBN：9783031075438
  • 出版社：Springer Nature
  • 出版时间：2022
...

Tool Support for System Specification, Development and Verification
  • 作者：Rudolf Berghammer,Yassine Lakhnech
  • EISBN：9783709163559
  • 出版社：Springer Vienna
  • 出版时间：1999
...

Tool Support for System Specification, Development and Verification
  • 作者：Rudolf Berghammer,Yassine Lakhnech
  • EISBN：9783709163559
  • 出版社：Springer Vienna
  • 出版时间：1999