Algebraic methodology and software technology : 12th International conference, AMAST 2008 : KurUrbana, IL, USA, July 28-31, 2008 : proceedings / José Meseguer, Grigore Rosu (Eds.) |
Autore | International conference, AMAST 2008 : <12.; : 2008 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
Descrizione fisica | XIII, 432 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - Urbana - 2008 |
ISBN | 978-3-540-79979-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003140310203316 |
International conference, AMAST 2008 : <12.; : 2008 | ||
Berlin [etc.] : Springer, copyr. 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Concurrency, graphs and models : essays dedicated to Ugo Montanari : on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
Descrizione fisica | XV, 810 p. : ill. ; 24 cm |
Disciplina | 004.19 |
Collana | Lecture notes in computer science, Festschrift |
Soggetto topico |
Elaboratori elettronici
Grafica |
ISBN | 978-3-540-68676-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003146590203316 |
Berlin [etc.] : Springer, copyr. 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|