Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany.
The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.
Կատեգորիաներ:
Տարի:
2010
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
145
ISBN 10:
3642171710
ISBN 13:
9783642171710
Սերիաներ:
Lecture Notes in Computer Science 6463 : Lecture Notes in Artificial Intelligence
Ֆայլ:
PDF, 1.85 MB
IPFS:
,
english, 2010
Այս գրքի ներբեռնումը հասանելի չէ՝ հեղինակային իրավունքի սեփականատիրոջ բողոքի համաձայն