登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Tool support for system specification development and verification
出版社：Wien : Springer, c1999.
ISBN：3211832823
出版年：1999
作者：Berghammer,R.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Specification and verification of concurrent systems
  • 作者：Rattray,C.
  • ISBN：3540195815
  • 出版社：London ; New York : Springer-Verlag, 1990.
  • 出版年：1990
...

Compiler specification and verification
  • 作者：Polak,Wolfgang,
  • ISBN：0387108866
  • 出版社：Berlin ; New York : Springer-Verlag, 1981.
  • 出版年：1981
...

Communication protocol specification and verification
  • 作者：Lai,Richard.
  • ISBN：0792382846
  • 出版社：Boston : Kluwer Academic, c1998.
  • 出版年：1998
...

Design and development of an information support system : for yogic science with emphasis on knowled
  • 作者：Kumar B. L.,Vinod.
  • ISBN：9783639763348
  • 出版社：Saarbrücken : Scholar''s Press, 2015.
  • 出版年：2015
...

Algebraic system specification and development : a survey and annotated bibliography:
  • 作者：Bidoit,M.
  • ISBN：3540540601
  • 出版社：Berlin ; New York : Springer-Verlag, 1991.
  • 出版年：1991
...

Development of an Environmental Impact Assessment and Decision Support System for Seawater Desalinat
  • 作者：Sabine Latteman.
  • ISBN：9781138474635
  • 出版社：CRC Press, 2017-10.
  • 出版年：2017