Opening book details…
Can I read Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers on EtoBox?
Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers by Vladimir Itsykson,Andre Scedrov,Victor Zakharov (eds.) is a nonfiction available to read on EtoBox.
What is Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers about?
This book constitutes the refereed proceedings of the 4 th 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.
Who reads Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Vladimir Itsykson,Andre Scedrov,Victor Zakharov (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2018
- Language
- EN
- ISBN
- 9783319717340
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
More by Vladimir Itsykson,Andre Scedrov,Victor Zakharov (eds.)
Browse all works by Vladimir Itsykson,Andre Scedrov,Victor Zakharov (eds.)
Similar books
- Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers — Sergey Sobolev Vladimir Voevodin (2017)
- Perspectives of systems informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers — Alexander K. Petrenko,Andrei Voronkov (2018)
- Analysis of Images, Social Networks and Texts: 6th International Conference, AIST 2017, Moscow, Russia, July 27–29, 2017, Revised Selected Papers (Lecture Notes in Computer Science, 10716) — Wil M.P. van der Aalst; Dmitry I. Ignatov; Michael Khachay; Sergei O. Kuznetsov; Victor Lempitsky; Irina A. Lomazova; Natalia Loukachevitch; Amedeo Napoli; Alexander Panchenko; Panos M. Pardalos; Andrey V. Savchenko; Stanley Wasserman (2018)
- Artificial Intelligence and Natural Language : 6th Conference, AINL 2017, St. Petersburg, Russia, September 20–23, 2017, Revised Selected Papers — Andrey Filchenkov,Lidia Pivovarova,Jan Žižka (2018)
- Parallel Computational Technologies: 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers (Communications in Computer and Information Science, 753) — Mikhail Zymbler Leonid Sokolinsky (2017)
- Distributed Computer and Communication Networks : 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers — Vladimir M. Vishnevskiy, Konstantin E. Samouylov, Dmitry V. Kozyrev (2019)