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

Tests and Proofs
EISBN：9783031098277
PISBN：9783031098260
出版社：Springer Nature
出版时间：2022
作者：Laura Kovács;Karl Meinke
主题词：Computer Science
学科：T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP31 计算机软件,TP311 程序设计、软件工程
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Tests and Proofs
  • 作者：Margus Veanes,Luca Viganò
  • EISBN：9783642389160
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2013
...

Tests and Proofs
  • 作者：Bernhard K. Aichernig,Carlo A. Furia
  • EISBN：9783319411354
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Tests and Proofs
  • 作者：Catherine Dubois
  • EISBN：9783642029493
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Tests and Proofs
  • 作者：Wolfgang Ahrendt,Heike Wehrheim
  • EISBN：9783030509958
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Tests and Proofs
  • 作者：Jasmin Christian Blanchette,Nikolai Kosmatov
  • EISBN：9783319212159
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Tests and Proofs
  • 作者：Bernhard Beckert,Reiner Hähnle
  • EISBN：9783540791249
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008