Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Lecture Notes in Computer Science (2772), Band 2772)
von
Nachum Dershowitz
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-21002-3
ISBN-10: 3-540-21002-4
Springer
· 2009
