Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science (164), Band 164)
von:
E. Clarke
·
D. Kozen
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-12896-0
ISBN-10: 3-540-12896-4
Springer
· 2008