Software Engineering and Formal Methods Eva Kühn
Titel: Software Engineering and Formal Methods, Untertitel: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, Einband: Taschenbuch, Autor: Eva Kühn, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 436, Maße: 235x155x24 mm, Gewicht: 657 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Interaction Interactive Systems Model-Driven Software Engineering Rewriting Logic System description languages concurrency formal methods formal modeling formal semantics formal verification model checking non-interference program analysis requirements analysis safety analysis software architectures software functional properties software validation software verification theorem proving.
Jetzt bei Ebay:
