Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3,2000 Proceedings, Lecture Notes in Computer Science 1945
Wolfgang Grieskamp/Thomas Santen/Bill Stoddart
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 18.10.2000
Umfang: x, 446 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540411963
Umbreit-Nr.: 1517968
