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.

Runtime Verification

Yli?s Falcone

César Sánchez

Language

English

Book Paperback

Libristo code: 14133166

Publishers Springer International Publishing AG, September 2016

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif... Full description

Libristo code: 14133166

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Linkin Park hautnah

Hardback

22.47 €

La villa Cavrois Paul-Hervé Parsy

Paperback

12.55 €

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata Aeschines Aeschines

Paperback

19.33 €

Complications de la chirurgie orthognatique Sreejee G.

Paperback

71.19 €

REMINISCENCES MARKUS

Audio CD

26.02 €

Inleiding in de psychopathologie Ron van Deth

Paperback

44.76 €

Mighty Morphin Power Rangers Combinable Dinozord Action Figure Sabertooth Tiger 20 cm Game/Toy

Toy

28.05 €

Matemáticas para economistas Palencia González

Paperback

40.40 €

EL ESCRITO(R) MISIONERO: ENTRE CIENCIA, ARTE Y LITERATURA MARTINO

Paperback

23.79 €

ATENCION A LA DIVERSIDAD BOUDON GORRAIZ

Paperback

23.08 €

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes Louis Bein

Paperback

26.83 €

Le Coeur des enfants léopards de Wilfried N'Sondé (Fiche de lecture) Marine Everard

Paperback

13.56 €

Marionettenbuhne Collin Coel

Hardback

17.61 €

Krieg im Jahre 1870 Michail Nikolaiev Annenkoff

Paperback

15.28 €

Diogene. Satire Populaire: N Degrees 1 Sans Auteur

Paperback

12.75 €

Jakie to flagi mini

Game

3.94 €

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.