Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

136 b

20 383 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

100 PRIMERAS PALABRAS NOSY CROW

Hardback

3 664 Ft

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

Hardback

105 450 Ft

Matilda Quentin Blake

Paperback

6 111 Ft

Le petit journal de mon bébé

Paperback

10 598 Ft

Jeevan Ek Anveshan J. Krishnamurti

Paperback

8 691 Ft

Diagnoza rak Grinblat Boris

Paperback

4 563 Ft

Der Teufel von London Thomas Riedel

Paperback

5 794 Ft

Etty Hillesum : la inteligencia del corazón Wanda Tommasi

Paperback

8 317 Ft

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

Paperback

12 577 Ft

Die Rhetorische Architektur Erstinstanzlicher Strafentscheidungen Lewis Atholl Johnston

Hardback

26 555 Ft

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.