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

Tools and Algorithms for the Construction and Analysis of Systems
EISBN：9783031572463
PISBN：9783031572456
出版社：Springer Nature
出版时间：2024
作者：Bernd Finkbeiner,Laura Kovács
主题词：BISAC Category: Computers,Computer Science,Computers,Hardware,General,Computers,Networking,Hardware,Computers,Computer Simulation,Computers,Software Development & Engineering,General
学科：TP309 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP309 安全保密 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Sriram Sankaranarayanan,Natasha Sharygina
  • EISBN：9783031308239
  • 出版社：Springer Nature
  • 出版时间：2023
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Ed Brinksma
  • EISBN：9783540685197
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Christel Baier,Cesare Tinelli
  • EISBN：9783662466810
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2015
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Stefan Kowalewski,Anna Philippou
  • EISBN：9783642007682
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Dana Fisman;Grigore Rosu
  • EISBN：9783030995270
  • 出版社：Springer Nature
  • 出版时间：2022
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Dana Fisman;Grigore Rosu
  • EISBN：9783030995249
  • 出版社：Springer Nature
  • 出版时间：2022