Formal Methods for Components and Objects Frank S. de Boer
53,49 €
Titel: Formal Methods for Components and Objects, Untertitel: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, Einband: Taschenbuch, Autor: Frank S. de Boer, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 384, Maße: 235x155x21 mm, Gewicht: 581 g, Verkäufer: buch-mimpf, Schlagworte: Formalismus Objektorientiert (EDV) Formal Specification Java Object Systems Reactive Systems Systems Design Web systems component systems formal methods formal verification logic mobile computing modeling object systems analysis systems modeling.
Jetzt bei Ebay:
