Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen |
Autore | Kozen, Dexter |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1982 |
Descrizione fisica | vi, 429 p. : ill. ; 24 cm. |
Disciplina | 519.7 |
Soggetto topico |
Computer programs - Congresses
Computer science - Congresses Electronic digital computers - Congresses Symbolic logic - Congresses |
ISBN | 354011212X |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001096719707536 |
Kozen, Dexter | ||
Berlin : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / eds. Edmund Clarke and Dexter Kozen |
Autore | Kozen, Dexter |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
Descrizione fisica | vi, 527 p. : ill. ; 25 cm |
Disciplina | 001.642 |
Altri autori (Persone) | Clarke, Edmund M. author |
Soggetto topico |
Computer science - Congresses
Electronic digital computers-programming |
ISBN | 3540128964 |
Classificazione |
AMS 68-06
AMS 68-XX QA76.6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001096659707536 |
Kozen, Dexter | ||
Berlin ; New York : Springer-Verlag, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The design and analysis of algorithms / Dexter Kozen |
Autore | Kozen, Dexter |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1992 |
Disciplina | 005.1 |
Soggetto non controllato | algoritmi |
ISBN | 0-387-97687-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000145990203316 |
Kozen, Dexter | ||
New York [etc.] : Springer-Verlag, copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|