Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science (193), Band 193)
von
Rohit Parikh
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-15648-2
ISBN-10: 3-540-15648-8
Springer
· 2008