Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Tools and Methods of Program Analysis

Name: Tools and Methods of Program Analysis
Brand: Springer
SKU: 41044446
Price: 60.38 EUR
Availability: InStock
Author: Vladimir Itsykson
ISBN: 9783319717340

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

Vladimir Itsykson

Andre Scedrov

Victor Zakharov

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41044446

Nakladateľstvo Springer, december 2017

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Meth... Celý popis

Libristo kód: 41044446

146 b

60.38 €

Skladom Ihneď na stiahnutie

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.