Software Engineering and Formal Methods Marjan Sirjani
Titel: Software Engineering and Formal Methods, Untertitel: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Einband: Taschenbuch, Autor: Marjan Sirjani, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 432, Maße: 235x155x24 mm, Gewicht: 651 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Artificial Intelligence Data Security Formal Specification Hardware Programming languages Security Systems Semantics Software Engineering Specifications computer software selection and evaluation distributed computer systems formal methods model checker model checking problem solving program compilers satisfiability temporal logic theorem proving verification.
Jetzt bei Ebay:
