Tools and Methods of Program Analysis Vladimir Itsykson
Titel: Tools and Methods of Program Analysis, Untertitel: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers, Einband: Taschenbuch, Autor: Vladimir Itsykson, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 228, Maße: 235x155x13 mm, Gewicht: 353 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System EDV / Theorie / Software-Entw. / Software Engineering Informatik Artificial Intelligence Object-oriented programming Programming languages Semantics Software Engineering computer architecture computer software selection and evaluation distributed computer systems formal methods high-performance computing (HPC) model checking program analysis program compilers static analysis verification.
Jetzt bei Ebay:
