Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
By: Siegler, Simon.
Contributor(s): Wasser, Nathan | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6463.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642171727.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Information systems | Artificial intelligence | Computer Science | Software Engineering | Computer Communication Networks | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Information Systems Applications (incl.Internet)DDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.