Logic and Program Semantics
Subtitle: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
By: edited by Robert L. Constable, Alexandra Silva
Contributors: Silva, Alexandra; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7230
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642294853
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software