Verification, Induction, Termination Analysis
von
Nathan Wasser Simon Siegler
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-17173-4
ISBN-10: 3-642-17173-7
Springer
· 2011
