Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Tools and Methods of Program Analysis

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

Vladimir Itsykson

Andre Scedrov

Viktor Zakharov

Language

English

Book Paperback

Libristo code: 18376661

Publishers Springer International Publishing AG, December 2017

This book constitutes the refereed proceedings of the 4 th International Conference on Tools and Met... Full description

Libristo code: 18376661

125 b

51.69 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

100 PRIMERAS PALABRAS NOSY CROW

Hardback

9.20 €

Chemisches Zentralblatt / Autoren- und Patentregister für das Jahr ..., 128. Jahrgang, 1957, I. Halbjahr 1: Januar ? Juni No Contributor

Hardback

248.08 €

Matilda Quentin Blake

Paperback

15.57 €

Le petit journal de mon bébé

Paperback

29.23 €

Jeevan Ek Anveshan J. Krishnamurti

Paperback

22.25 €

Diagnoza rak Grinblat Boris

Paperback

12.43 €

Der Teufel von London Thomas Riedel

Paperback

15.98 €

Etty Hillesum : la inteligencia del corazón Wanda Tommasi

Paperback

23.06 €

El arte de no ser egoísta : Una reflexión sobre la moral y los obstáculos para practicarla Richard David Precht

Paperback

34.69 €

Die Rhetorische Architektur Erstinstanzlicher Strafentscheidungen Lewis Atholl Johnston

Hardback

73.14 €

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, Revised Selected Papers. 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.