Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Serija: | (Lecture Notes in Computer Science)
|
| Online dostop: | Ver documento en línea |