Foundations of software science and computation structures : first International conference, FoSSaCS'98, held as part of the Join European conferences on theory and practice of software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Maurice Nivat (ed.) |
Autore | International conference FoSSaCS'98 : 1. : 1998 |
Pubbl/distr/stampa | Berlin : Springer, copyr. 1998 |
Descrizione fisica | X, 287 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - lisbona - 1998
elaborazione elettronica - congressi - 1998 software - progettazione - congressi - 1998 |
ISBN | 3-540-64300-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209430203316 |
International conference FoSSaCS'98 : 1. : 1998 | ||
Berlin : Springer, copyr. 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tree automata and languages / Maurice Nivat ... [et al.] (eds.) |
Pubbl/distr/stampa | Amsterdam : Elsevier Science Publishers, copyr. 1992 |
Descrizione fisica | VIII, 485 p. : ill. ; 23 cm |
Disciplina | 005131 |
Collana | Studies in computer science and artificial intelligence |
Soggetto non controllato |
grafi
linguaggi di programmazione teoria delle macchine |
ISBN | 0-444-89026-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000235580203316 |
Amsterdam : Elsevier Science Publishers, copyr. 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|