Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, Band 131)
von
D. Kozen
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-11212-9
ISBN-10: 3-540-11212-X
Springer
· 2008
