Könyv Runtime Verification Ezio Bartocci

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 063 Ft
This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verifi...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2015
oldal
432
EAN
9783319238197
ISBN
3319238191
Enbook ID
09493683
Súly
6788
Méretek
155 x 235 x 25

Teljes leírás

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in§performance monitoring, hardware design emulation and simulation, etc.

Érdekelheti

Framework Houses

Bernd Becher
22 293 Ft

Karl Blossfeldt

Karl Blossfeldt
10 357 Ft
3 652 Ft
5 231 Ft
8 125 Ft

Chester B. Himes

Lawrence P. Jackson
11 734 Ft
2 812 Ft
65 160 Ft

You Can Search Me

George V Hobart
2 971 Ft
4 708 Ft

The Warning

James Patterson
8 634 Ft

Action Kadabra

Authors and Dragons
2 606 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

3 287 Ft

Solfeggio-Frequenzen

Andreas Kühnemann
7 679 Ft

Essen und Trinken

Anja Boretzki
6 839 Ft

Octomes

Pierre Raufast
8 447 Ft

Síla větru 17

Caroline Wahlová
4 996 Ft
3 331 Ft
6 215 Ft

Blutsbruder

Ernst Haffner
5 246 Ft
4 143 Ft
3 504 Ft
4 377 Ft

Night

Holly Cole
6 665 Ft

IQ

Eylem Öncel
4 623 Ft

Love And Longing

Bill Carrothers
5 217 Ft

Wilczek

Ryrych Katarzyna
1 622 Ft
7 895 Ft

LETTRE A MON PERE

Trublet colette
10 270 Ft