Formal Methods: Foundations and Applications Bill Roscoe
Titel: Formal Methods: Foundations and Applications, Untertitel: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, Einband: Taschenbuch, Autor: Bill Roscoe, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 216, Maße: 235x155x12 mm, Gewicht: 335 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Concurrent Systems Java Models of computation Program Transformations Real-time systems software System description languages abstraction, modeling and modularity automata theory data structures formal languages formal methods heuristics logic model simulation semantics and reasoning software system models software testing software validation software verification validation.
Jetzt bei Ebay:
