Verified Software: Theories, Tools, Experiments

EISBN：9783642150579

PISBN：9783642150562

出版社：Springer Berlin Heidelberg

出版类型：Proceedings

出版时间：2010

作者：Gary T. Leavens,Peter O’Hearn,Sriram K. Rajamani

主题词：Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Programming Techniques,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics)

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Verified Software: Theories, Tools, and Experiments

作者：Arie Gurfinkel,Sanjit A. Seshia
EISBN：9783319296135
出版社：Springer International Publishing
出版时间：2016

Verified Software: Theories, Tools, Experiments

作者：Ernie Cohen,Andrey Rybalchenko
EISBN：9783642541087
出版社：Springer Berlin Heidelberg
出版时间：2014

Verified Software: Theories, Tools and Experiments

作者：Dimitra Giannakopoulou,Daniel Kroening
EISBN：9783319121543
出版社：Springer International Publishing
出版时间：2014

Verified Software: Theories, Tools, Experiments

作者：Rajeev Joshi,Peter Müller,Andreas Podelski
EISBN：9783642277054
出版社：Springer Berlin Heidelberg
出版时间：2012

Verified Software: Theories, Tools, Experiments

作者：Natarajan Shankar,Jim Woodcock
EISBN：9783540878735
出版社：Springer Berlin Heidelberg
出版时间：2008

Verified Software: Theories, Tools, Experiments

作者：Bertrand Meyer,Jim Woodcock
EISBN：9783540691495
出版社：Springer Berlin Heidelberg
出版时间：2008