Formal Methods and Software Engineering Jing Sun
53,49 €
Titel: Formal Methods and Software Engineering, Untertitel: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, Einband: Taschenbuch, Autor: Jing Sun, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity Concurrent Systems Denotational Semantics model checking program refinement symbolic computations.
Jetzt bei Ebay:
