Summary goes here
Enregistré dans:
| Format: | Livre |
|---|---|
| Langue: | anglais |
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| 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. |