Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26,2007, Revised Lectures, Lecture Notes in Computer Science 5382 - Programming and Software Engineering
Marcello M Bonsangue/Susanne Graf/Willem-Paul de Roever
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 01.12.2008
Umfang: x, 313 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540921875
Umbreit-Nr.: 4380297
