Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Communications in Computer and Information Science

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Editors: Itsykson, Vladimir, Scedrov, Andre, Zakharov, Viktor (Eds.)

Buy this book

eBook $64.99
price for USA (gross)
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: February 11, 2018
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover $84.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: January 14, 2018
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
About this book

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.

 

 

Buy this book

eBook $64.99
price for USA (gross)
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: February 11, 2018
  • ISBN 978-3-319-71734-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover $84.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: January 14, 2018
  • ISBN 978-3-319-71733-3
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tools and Methods of Program Analysis
Book Subtitle
4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Editors
  • Vladimir Itsykson
  • Andre Scedrov
  • Viktor Zakharov
Series Title
Communications in Computer and Information Science
Series Volume
779
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-71734-0
DOI
10.1007/978-3-319-71734-0
Softcover ISBN
978-3-319-71733-3
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XVIII, 209
Number of Illustrations and Tables
71 b/w illustrations
Topics