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 :-(

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

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02065171
Price: 51.68 EUR
Availability: InStock
Author: Axel Legay
ISBN: 9783642407864

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Axel Legay

Saddek Bensalem

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02065171

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2013

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi... Celý popis

Libristo kód: 02065171

125 b

51.68 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Wir waren wie Brüder Daniel Schulz

Brožovaná

12.74 €

Slovanský areál a Evropa Václav Čermák

Brožovaná

9.70 €

El aguila negra Sexton

Adobe ePub DRM

31.15 €

Les besongnes et les jours d'Hesiode Ascraean, mis en francois (Ed.1586) Hesiode

Brožovaná

13.54 €

Oberstufe Religion - Jesus Christus Gerhard Büttner

Kniha

20.52 €

Prozessorientierte Schreibdidaktik im Fremdsprachenunterricht Nico Tobias Wirtz

Brožovaná

42.78 €

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.