Formal Methods: Foundations and Applications Thierry Lecomte
Titel: Formal Methods: Foundations and Applications, Untertitel: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Einband: Taschenbuch, Autor: Thierry Lecomte, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 264, Maße: 235x155x15 mm, Gewicht: 406 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Concurrent Systems Program Verification Rewriting Logic Semantics Theory of security UML automata theory business process computer-aided education e-learning educational robotics formal methods heuristics logic model checking model refinement modeling and simulation software creation and management software validation timed automata.
Jetzt bei Ebay:
