Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Siegler, Simon (Editor), Wasser, Nathan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Series: Lecture Notes in Computer Science, 6463
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.
• Physical Description: XI, 145 p. 30 illus. online resource.
• ISBN: 9783642171727
• ISSN: 0302-9743 ;