Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science, Band 6200)
von:
Zohar Manna
·
Doron A. Peled
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-13753-2
ISBN-10: 3-642-13753-9
Springer
· 2010
