Handbook of Model Checking

EISBN：9783319105758

PISBN：9783319105741

出版社：Springer International Publishing

出版类型：Monograph

出版时间：2018

版次：1st ed. 2018

作者：Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

主题词：Computer Science,Theory of Computation,Software Engineering/Programming and Operating Systems,Mathematical Logic and Foundations,Mathematics of Computing,Performance and Reliability,Quality Control,Reliability,Safety and Risk

语种：英语

所属数据库：SpringerLink电子图书

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Model Checking Software

作者：Patrice Godefroid
EISBN：9783540318996
出版社：Springer Berlin Heidelberg
出版时间：2005

Model Checking Software

作者：Alastair Donaldson,David Parker
EISBN：9783642317590
出版社：Springer Berlin Heidelberg
出版时间：2012

Model Checking Software

作者：Owolabi Legunsen;Grigore Rosu
EISBN：9783031150777
出版社：Springer Nature
出版时间：2022

Model Checking Software

作者：Georgiana Caltais,Christian Schilling
EISBN：9783031321573
出版社：Springer Nature
出版时间：2023

Model Checking Software

作者：Jaco Pol,Michael Weber
EISBN：9783642161643
出版社：Springer Berlin Heidelberg
出版时间：2010

Model Checking Software

作者：Susanne Graf,Laurent Mounier
EISBN：9783540247326
出版社：Springer Berlin Heidelberg
出版时间：2004