Formal Methods for Components and Objects: Third International Symposium, FMCO 2
69,04 €
Subtitle Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures. A Theory of Predicate-Complete Test Coverage and Generation. - A Fully Abstract Semantics for UML Components.
Jetzt bei Ebay: