Formal Methods for Components and Objects Frank S. de Boer
53,49 €
Titel: Formal Methods for Components and Objects, Untertitel: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, Einband: Taschenbuch, Autor: Frank S. de Boer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 524, Maße: 235x155x29 mm, Gewicht: 785 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines EDV / Theorie / Software-Entw. / Software Engineering Components Java LSC Middleware Program Construction Protocol Verification UML Unified Modeling Language (UML) component systems formal methods formal verification inheritance modeling object object technology.
Jetzt bei Ebay:
