Lectures on formal methods and performance analysis: revised lectures
Berlin [u.a.]: Springer, 2001
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- VI, 429 S. : Ill., graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Lectures on formal methods and performance analysis: revised lectures
|
---|---|
Verantwortlichkeitsangabe: | First EEF Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3 - 7, 2000. Ed Brinksma ... (eds.) |
Autor/in / Beteiligte Person: | Brinksma, Ed |
Körperschaft: | European Educational Forum ; Summerschool on Formal Methods and Performance Analysis |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2001 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | VI, 429 S. : Ill., graph. Darst. |
ISBN: | 3540424792 kart. : DM 92.00 |
Schlagwort: |
|
Sonstiges: |
|