Constable, Robert L.Silva, Alexandra. (Eds.) () Logic and Program SemanticsEssays Dedicated to Dexter Kozen on the Occasion of His 60th BirthdayMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
edited by Robert L. Constable, Alexandra Silva.
|Names:||Constable, Robert L. | Silva, Alexandra.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7230
|Topics:||Computer science. | Software engineering. | Computer software. | Logic design. | Computer Science. | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Algorithm Analysis and Problem Complexity. | Software Engineering. | Programming Languages, Compilers, Interpreters. | Programming Techniques.|