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

• Κύριος συγγραφέας: Siegler, Simon
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wasser, Nathan
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6463
• Θέματα: Computer science; Computer Communication Networks; Software engineering; Logic design; Information systems; Computer Science; Software Engineering; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Information Systems Applications (incl.Internet); Τεχνητή νοημοσύνη