• Tools and Algorithms for the C...
  • Bestand

Treffer: Tools and Algorithms for the Construction and Analysis of Systems

Titel:
Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers / edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
Verantwortlich:
Brinksma, E (Verfasser); Cleaveland, Walter R. (Verfasser) ; Larsen, K. G (Verfasser); Margaria, T (Verfasser); Steffen, B (Verfasser)
Veröffent­licht:
Berlin, Heidelberg : Springer-Verlag, 1995
Umfang:
... Seiten
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 1019
alle Bände anzeigen
Andere Ausgaben:
Elektronische Reproduktion von: Brinksma, E. Tools and Algorithms for the Construction and Analysis of Systems. - Berlin, Heidelberg : Springer-Verlag, 1995
RVK-Notation:
SS 1800 SS 4000
Schlagworte:
Vorliegende Ausgabe:
Online-Ausgabe: Berlin : Springer, 2011. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9783540485094 ; 3540485090 ; 9783540606307 (Sekundärausgabe) ; 3540606300 (Sekundärausgabe)
DOI:
10.1007/3-540-60630-0

Zusatz-Informationen

Zusatz-Funktionen