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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

Runtime Verification

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

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

Axel Legay

Saddek Bensalem

Language

English

Book Paperback

Libristo code: 02065171

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2013

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verifi... Full description

Libristo code: 02065171

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Paperback

3 563 Ft

Prozessorientierte Schreibdidaktik im Fremdsprachenunterricht Nico Tobias Wirtz

Paperback

16 606 Ft

Oberstufe Religion - Jesus Christus Gerhard Büttner

Book

7 913 Ft

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.