Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Linkin Park hautnah

Hardback

24.99 €

La villa Cavrois Paul-Hervé Parsy

Paperback

12.99 €

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

Paperback

19.99 €

Complications de la chirurgie orthognatique Sreejee G.

Paperback

74.39 €

REMINISCENCES MARKUS

Audio CD

26.79 €

Inleiding in de psychopathologie Ron van Deth

Paperback

46.49 €

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

Toy

27.69 €

Matemáticas para economistas Palencia González

Paperback

41.49 €

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

Paperback

24.39 €

ATENCION A LA DIVERSIDAD BOUDON GORRAIZ

Paperback

23.69 €

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes Louis Bein

Paperback

29.90 €

Magické cupcaky a mafiny Paulína Franková

Hardback

10.49 €

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

Paperback

14.19 €

Marionettenbuhne Collin Coel

Hardback

19.50 €

Krieg im Jahre 1870 Michail Nikolaiev Annenkoff

Paperback

16.90 €

Diogene. Satire Populaire: N Degrees 1 Sans Auteur

Paperback

13.19 €

Jakie to flagi mini

Game

4.09 €

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.