Formal Methods and Software Engineering Jim Davies
106,99 €
Titel: Formal Methods and Software Engineering, Untertitel: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, Einband: Taschenbuch, Autor: Jim Davies, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 520, Maße: 235x155x28 mm, Gewicht: 779 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Browser Formal Specification SPIN Simulation Software Engineering UML Unified Modeling Language (UML) automata formal methods formal software development formal verification modeling program analysis theorem proving verification.
Jetzt bei Ebay:
