FME '93: Industrial-Strength Formal Methods
First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,1993.Proceedings, Lecture Notes in Computer Science 670
James C P Woodcock/Peter G Larsen
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 06.04.1993
Umfang: xiii, 695 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540566625
Umbreit-Nr.: 1432876
