Formal Methods and Software Engineering Michael Butler
Titel: Formal Methods and Software Engineering, Untertitel: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Einband: Taschenbuch, Autor: Michael Butler, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 464, Maße: 235x155x25 mm, Gewicht: 698 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Concurrent Systems Consistency verification Domain specific visualization Evaluation Language Design Semantics Software Design Software Product Lines Specification constraint solving distributed algorithms logic model checking model-driven engineering reliability security software verification specification languages system modeling theorem proving.
Jetzt bei Ebay:
