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

Tools and Algorithms for the Construction and Analysis of Systems
EISBN：9783031572562
PISBN：9783031572555
出版社：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
  • 作者：Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen
  • EISBN：9783030175023
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Tomáš Vojnar,Lijun Zhang
  • EISBN：9783030174651
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Kurt Jensen,Andreas Podelski
  • EISBN：9783540247302
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Tools and Algorithms for the Construction and Analysis of Systems
  • 作者：Erika Ábrahám,Klaus Havelund
  • EISBN：9783642548628
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2014