Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29,1996, Proceedings., Lecture Notes in Computer Science 1055
Tiziana Margaria/Bernhard Steffen
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 20.03.1996
Umfang: xiii, 443 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540610427
Umbreit-Nr.: 1508098
