Logics of Programs: Brooklyn, June 17-19, 1985 (Lecture Notes in Computer Science (193), Band 193)

Computer

von Rohit Parikh

Taschenbuch

ISBN-13: 978-3-540-15648-2

ISBN-10: 3-540-15648-8

Springer · 2008