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

Formal Modeling and Analysis of Timed Systems
EISBN：9783031426261
PISBN：9783031426254
出版社：Springer Nature
出版时间：2023
作者：Laure Petrucci,Jeremy Sproston
主题词：BISAC Category: Computers,Computer Science,Computers,Information Theory,Computers,Software Development & Engineering,General,Computers,Networking,General,Computers,Artificial Intelligence,General,Computers,Speech & Audio Processing
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Nathalie Bertrand,Nils Jansen
  • EISBN：9783030576288
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Krishnendu Chatterjee,Thomas A. Henzinger
  • EISBN：9783642152979
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2010
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Étienne André,Mariëlle Stoelinga
  • EISBN：9783030296629
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Víctor Braberman,Laurent Fribourg
  • EISBN：9783642402296
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Marcin Jurdziński,Dejan Ničković
  • EISBN：9783642333651
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2012
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Uli Fahrenberg,Stavros Tripakis
  • EISBN：9783642243103
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011