Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20,1995.Selected Papers, Lecture Notes in Computer Science 1019
Ed Brinksma/W Rance Cleaveland/Kim G Larsen et al
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 23.11.1995
Umfang: vii, 298 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540606307
Umbreit-Nr.: 1507461
