EAN: 9783319717333

TOOLS AND METHODS OF PROGRAM ANALYSIS KARTONIER...

This book constitutes the refereed proceedings of the 4th International Conference on Tools and
Methods for Program Analysis  TMPA 2017  Moscow  Russia  March 3-4  2017. The 12 revised full
papers and 5 revised short papers presented together with three abstracts of keynote talks were
carefully reviewed and selected from 51 submissions. The papers deal with topics such as
software test automation  static program analysis  verification  dynamic methods of program
analysis  testing and analysis of parallel and distributed systems  testing and analysis of
high-load and high-availability systems  analysis and verification of hardware and software
systems  methods of building quality software  tools for software analysis  testing and
verification.

Aktuelle Preise zur EAN 9783319717333

Produktinformationen zur 9783319717333