登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Rigorous State-Based Methods
EISBN:
9783031331633
PISBN:
9783031331626
出版社:
Springer Nature
出版时间:
2023
作者:
Uwe Glässer,Jose Creissac Campos,Dominique Méry,Philippe Palanque
主题词:
state-based modelling languages,formal methods,verification,validation,model checking,simulation,semantics,cyber-physical systems,refinement,proof assistanct,programming languages
学科:
Computer Science
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Lecture Notes in Computer Science
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Rigorous State-Based Methods
作者:
Silvia Bonfanti,Angelo Gargantini,Michael Leuschel,Elvinia Riccobene,Patrizia Scandurra
EISBN:
9783031637902
出版社:
Springer Nature
出版时间:
2024
Rigorous State-Based Methods
作者:
Alexander Raschke,Dominique Méry,Frank Houdek
EISBN:
9783030480776
出版社:
Springer International Publishing
出版时间:
2020
Rigorous Methods for Software Construction and Analysis
作者:
Jean-Raymond Abrial,Uwe Glässer
EISBN:
9783642114472
出版社:
Springer Berlin Heidelberg
出版时间:
2009
Rigorous Methods in Particle Physics
作者:
Sorin Ciulli,Florian Scheck,Walter Thirring
EISBN:
9783540471769
出版社:
Springer Berlin Heidelberg
出版时间:
1990
Rigorous Methods in Particle Physics
作者:
Sorin Ciulli,Florian Scheck,Walter Thirring
EISBN:
9783540471769
出版社:
Springer Berlin Heidelberg
出版时间:
1990
Event-Based State Estimation
作者:
Dawei Shi,Ling Shi,Tongwen Chen
EISBN:
9783319266060
出版社:
Springer International Publishing
出版时间:
2016
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。