Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, Band 6463)
von:
Simon Siegler · Nathan Wasser
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-17171-0
ISBN-10: 3-642-17171-0
Springer
· 2010