Media type: E-Book Title: Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 Contributor: Clarke, Edmund M. [Author]; Kozen, Dexter [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1984 Published in: Lecture notes in computer science ; 164 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-12896-4 ISBN: 9783540387756 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Computer science ; Logic design ; Computer Science Origination: Footnote: