Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Lenguaje: | inglés |
| Publicado: |
Berlin :
Springer Verlag,
2001
|
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|