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

Verified Software. Theories, Tools and Experiments.
EISBN：9783031258039
PISBN：9783031258022
出版社：Springer Nature
出版时间：2023
作者：Akash Lal,Stefano Tonetta
主题词：computer programming,artificial intelligence,software architecture,parallel processing systems,computer systems,architecting,architecture verification and validation,distributed computer systems,distributed systems,embedded systems,engineering,formal logic,linguistics,mathematics,software architecture,software design,software engineering,software quality,verification,verification and validation
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Verified Software. Theories, Tools and Experiments
  • 作者：Andrew Reynolds,Serdar Tasiran
  • EISBN：9783031660641
  • 出版社：Springer Nature
  • 出版时间：2024
...

Verified Software. Theories, Tools, and Experiments
  • 作者：Supratik Chakraborty,Jorge A. Navas
  • EISBN：9783030416003
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Verified Software. Theories, Tools, and Experiments
  • 作者：Ruzica Piskac,Philipp Rümmer
  • EISBN：9783030035921
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Verified Software. Theories, Tools, and Experiments
  • 作者：Andrei Paskevich,Thomas Wies
  • EISBN：9783319723082
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Verified Software. Theories, Tools, and Experiments
  • 作者：Sandrine Blazy,Marsha Chechik
  • EISBN：9783319488691
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Verified Software: Theories, Tools, and Experiments
  • 作者：Arie Gurfinkel,Sanjit A. Seshia
  • EISBN：9783319296135
  • 出版社：Springer International Publishing
  • 出版时间：2016