Compiling natural semantics / Mikael Pettersson |
Autore | Pettersson, Mikael |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1999 |
Descrizione fisica | XVI, 240 p. : ill. ; 24 cm |
Disciplina | 00513 |
Collana | Lecture notes in computer science |
Soggetto non controllato | linguaggi di programmazione - semantica |
ISBN | 3-540-65968-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000208610203316 |
Pettersson, Mikael | ||
Berlin [etc.] : Springer-Verlag, copyr. 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Predicate calculus and program semanitics / Edsger W. Dijkstra, Carel S. Scholten |
Autore | Dijkstra, Edsberg Wybe |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1990 |
Descrizione fisica | 220 p. ; 25 cm |
Disciplina | 5113 |
Collana | Text and monographs in computer science |
Soggetto non controllato | linguaggi di programmazione - semantica |
ISBN | 0-387-96957-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000237270203316 |
Dijkstra, Edsberg Wybe | ||
New York [etc.] : Springer-Verlag, copyr. 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|