Lectures on formal methods and performance analysis : 1st EEF/Euro summer school on trends in computer science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma ... <et al.> (eds.) |
Autore | EEF/Euro summer school on trends in computer science |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | VI, 429 p. : ill. ; 20 cm |
Disciplina | 004.01 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Elaborazione elettronica Metodi formali Congressi 2000 |
ISBN | 3-540-42479-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001029240203316 |
EEF/Euro summer school on trends in computer science
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and algorithms for the construction and analysis of systems : 3rd International workshop, TACAS'97 : Enschede, The Netherlands, April 1997 : proceedings / Ed Brinksma (ed.) |
Autore | International workshop TACAS'97 : 3. : 1997 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
Descrizione fisica | X, 431 p. : ill. ; 23 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - enschede - 1997
elaboratori elettronici - programmazione - congressi - 1997 |
ISBN | 3-540-62790-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000205020203316 |
International workshop TACAS'97 : 3. : 1997
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and algorithms for the construction and analysis of systems : Aarhus, Denmark, May 19-20, 1995 / E. Brinksma ... [etc.] (eds.) |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | 289 p. : ill. ; 25 cm |
Disciplina | 00512 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
algoritmi - congressi - 1995
congressi - aarhus - 1995 elaboratori elettronici - programmazione - congressi - 1995 |
ISBN | 3-540-60630-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211270203316 |
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|