Relational methods in computer science : 8th International seminar on relational methods in computer science : 3rd international workshop on applications of Kleene Algebra and workshop of COST Action 274 TARSKI : St. Catharines, ON, Canada, February 22-26,2005 : Selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
International seminar on relational methods in computer science : <8th; : 2005
|
| Titolo: |
Relational methods in computer science : 8th International seminar on relational methods in computer science : 3rd international workshop on applications of Kleene Algebra and workshop of COST Action 274 TARSKI : St. Catharines, ON, Canada, February 22-26,2005 : Selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.)
|
| Pubblicazione: | Berlin : Springer-Verlag, copyr. 2006 |
| Descrizione fisica: | VIII,262 p. : ill. ; 24 cm |
| Disciplina: | 004.21 |
| Soggetto topico: | Elaborazione elettronica dei dati Congressi 2005 |
| Elaboratori elettronici digitali Programmazione Congressi 2005 | |
| Persona (resp. second.): | MACCAULL, Wendy |
| WINTER, Michael | |
| DÜNTSCH, Ivo | |
| Titolo autorizzato: | Relational methods in computer science |
| ISBN: | 3-540-33339-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990003007010203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 001 LNCS (3929) |
| Opac: | Controlla la disponibilità qui |
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |