Location & Availability for: Logic and Program Semantics : Essays Ded

 Staff view

You must be logged in to Tag Records

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.

Book Cover
Names: Constable, Robert L. | Silva, Alexandra.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Logic and Program Semantics : Essays Ded