FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,2011, Proceedings, Lecture Notes in Computer Science 6664 - Programming and Software Engineering
Michael Butler/Wolfram Schulte
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 16.06.2011
Umfang: xiv, 450 S., 83 s/w Illustr., 27 farbige Illustr.,
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642214363
Umbreit-Nr.: 4253974
