• Lectures on Formal Methods and...
  • Mehr Informationen

Treffer: Lectures on Formal Methods and PerformanceAnalysis

Titel:
Lectures on Formal Methods and PerformanceAnalysis : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Verantwortlich:
Brinksma, Ed (Verfasser) ; Hermanns, Holger (Verfasser); Katoen, Joost-Pieter (Verfasser)
Veröffent­licht:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001
Umfang:
... Seiten
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 2090
alle Bände anzeigen
Andere Ausgaben:
Elektronische Reproduktion von: Brinksma, Ed, 1957-. Lectures on Formal Methods and PerformanceAnalysis. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001
RVK-Notation:
SS 1800 SS 4000
Schlagworte:
Vorliegende Ausgabe:
Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9783540446675 ; 3540446672 ; 9783540424796 (Sekundärausgabe) ; 3540424792 (Sekundärausgabe)
DOI:
10.1007/3-540-44667-2

Zusatz-Informationen

Zusatz-Funktionen