Generative programming and component engineering : ACM; SIGPLAN conference, GPCE 2002 : Pittsburg, PA,USA,October 6-8, 2002 : proceedings / Don Batory... <et al.> (eds.) |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr.2002 |
Descrizione fisica | VIII, 334 p. : ill. ; 20 cm |
Collana | Lecture notes in computer science |
Soggetto topico | Programmazione Congressi 2002 |
ISBN | 3-540-44284-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001150150203316 |
Berlin : Springer-Verlag, copyr.2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model checking, and abstract interpretation : Third International Workshop,VMCAI 2002 : Venice,Italy,January 21-22 2002 : Revised papers / Agostino Cortesi(ed.) |
Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr.2002 |
Descrizione fisica | VIII,330 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Programmazione Congressi 2002 |
ISBN | 3-540-44121-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001154810203316 |
Berlin : Springer-Verlag, copyr.2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|