Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Edición de la obra Logic and Program Semantics
| Autor | R. L. Constable |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642294853 |
| Serie | Lecture Notes in Computer Science -- 7230 |
| Número de Cutter | C756l |