Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science (164), Band 164)

University

von: E. Clarke · D. Kozen

Taschenbuch

ISBN-13: 978-3-540-12896-0

ISBN-10: 3-540-12896-4

Springer · 2008