Formal Methods for Real-Time and Probabilistic Systems
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28,1999, Proceedings, Lecture Notes in Computer Science 1601
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 12.05.1999
Umfang: x, 353 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540660101
Umbreit-Nr.: 1513404
