登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Formal Methods for the Design of Real-Time Systems
EISBN：
9783540300809
PISBN：
9783540230687
出版社：
Springer Berlin Heidelberg
出版类型：
Graduate/advanced undergraduate textbook
出版时间：
2004
作者：
Marco Bernardo,Flavio Corradini
主题词：
Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Special Purpose and Application-Based Systems,Computer Communication Networks
语种：
英语
所属数据库：
SpringerLink电子图书
丛书题名：
Lecture Notes in Computer Science
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Formal Methods for the Design of Real-Time Systems
作者：
Marco Bernardo,Flavio Corradini
EISBN：
9783540300809
出版社：
Springer Berlin Heidelberg
出版时间：
2004
Formal Methods and Hybrid Real-Time Systems
作者：
Cliff B. Jones,Zhiming Liu,Jim Woodcock
EISBN：
9783540752219
出版社：
Springer Berlin Heidelberg
出版时间：
2007
Introduction to the Formal Design of Real-Time Systems
作者：
David F. Gray
EISBN：
9781447108894
出版社：
Springer London
出版时间：
1999
Formal Methods for Real-Time and Probabilistic Systems
作者：
Jost-Pieter Katoen
EISBN：
9783540487784
出版社：
Springer Berlin Heidelberg
出版时间：
1999
Introduction to the Formal Design of Real-Time Systems
作者：
David Gray
EISBN：
9781447108894
出版社：
Springer London
出版时间：
1999
Formal Methods for Real-Time and Probabilistic Systems
作者：
Joost-Pieter Katoen
EISBN：
9783540487784
出版社：
Springer Berlin Heidelberg
出版时间：
1999
×
订购单位
×
电子书下载
将全部文件下载下来，放在一个目录中，右键点击后缀名为.zip的文件，用 winrar 、360压缩等压缩软件解压，就都能解压出来了。
问图书管理员
馆际互借
查看订购单位