Lectures on formal methods and performance analysis: first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3 - 7, 2000 ; revised lectures
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001
Schriftenreihe:Lecture notes in computer science 2090 : Tutorial
Schlagworte:
Beschreibung:Literaturangaben
Beschreibung:VI, 429 S. graph. Darst.
ISBN:3540424792

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!