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

Deductive Software Verification – The KeY Book
EISBN：9783319498126
PISBN：9783319498119
出版社：Springer International Publishing
出版类型：Contributed volume
出版时间：2016
版次：1st ed. 2016
作者：Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich
主题词：Software Engineering,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Artificial Intelligence (incl. Robotics)
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
3浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Deductive Software Verification: Future Perspectives
  • 作者：Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Mattias Ulbrich
  • EISBN：9783030643546
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Verification of Object-Oriented Software. The KeY Approach
  • 作者：Bernhard Beckert,Reiner Hähnle,Peter H. Schmitt
  • EISBN：9783540690610
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007
...

Software Verification
  • 作者：Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
  • EISBN：9783030636180
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Software Verification
  • 作者：Roderick Bloem;Rayna Dimitrova;Chuchu Fan;Natasha Sharygina
  • EISBN：9783030955618
  • 出版社：Springer Nature
  • 出版时间：2022
...

Systems and Software Verification
  • 作者：B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
  • EISBN：9783662045589
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Numerical Software Verification
  • 作者：Sergiy Bogomolov,Matthieu Martel,Pavithra Prabhakar
  • EISBN：9783319542928
  • 出版社：Springer International Publishing
  • 出版时间：2017