Summary goes here
Сохранить в:
| Формат: | |
|---|---|
| Язык: | английский |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a5b6d339-fa02-420d-bb17-084de324bb02 |
| isbn | 9783642294846 (pbk.) |
| issn | |
| language | eng |
| physical | xiii, 355 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: 2012 |
| publishDate | 2012 |
| subjects | |
| title | Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday / Robert L. Constable, Alexandra Silva (eds.). |
| topic | Algorithmus. Kleene-Algebra. Koalgebra. Komplexitätstheorie. Mathematische Logik. Mathematische Methode. Programmanalyse. Programmierlogik. Programmiersprache. Computer logic. Computer programming. Software engineering. |