Cover Image

Verification, induction, termination analysis : festschrift for Christoph Walther on the occasion of his 60th birthday /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Siegler, Simon, Walther, Christoph, Wasser, Nathan
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2010]
Series:Lecture notes in computer science ; 6463.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Computer science.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:143 pages : illustrations
Bibliography:Includes bibliographical references.
ISBN:3642171729 (electronic bk.)
9783642171727 (electronic bk.)
DOI:10.1007/978-3-642-17172-7