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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Siegler, Simon (Επιμελητής έκδοσης), Wasser, Nathan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Σειρά: Lecture Notes in Computer Science, 6463
• Θέματα: 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.
• Φυσική περιγραφή: XI, 145 p. 30 illus. online resource.
• ISBN: 9783642171727
• ISSN: 0302-9743 ;