top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algebra and Coalgebra in Computer Science : 2nd International Conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski...[et al.](eds.)
Algebra and Coalgebra in Computer Science : 2nd International Conference, CALCO 2007 : Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski...[et al.](eds.)
Autore International Conference, CALCO 2007 : <2. ; : 2007
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2007
Descrizione fisica XI, 461 p. : ill. ; 24 cm.
Disciplina 005.1
Collana Lecture notes in computer science
Soggetto topico Algebra - Congressi - Bergen - 2007
ISBN 978-3-540-73857-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003142690203316
International Conference, CALCO 2007 : <2. ; : 2007  
Berlin [etc.] : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
CASL User Manual : introduction to using the common algebrical specification language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Massakowski, Donald Sannella and Andrzej Tarlecki
CASL User Manual : introduction to using the common algebrical specification language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Massakowski, Donald Sannella and Andrzej Tarlecki
Autore BIDOIT, Michel
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2004
Descrizione fisica XIII, 240 p. : ill. ; 24 cm. + CD ROM
Disciplina 005.1
Altri autori (Persone) MOSSES, Peter D.
Collana Lecture notes in computer science, Tutoral
Soggetto topico Linguaggio algebrico
Informatica
ISBN 3-540-20766-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002961660203316
BIDOIT, Michel  
Berlin [etc.] : Springer, copyr. 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui