Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Runtime Verification

Name: Runtime Verification
Brand: Springer Nature Switzerland AG
SKU: 24640008
Price: 63.32 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030320782

19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Bernd Finkbeiner

Leonardo Mariani

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 24640008

Založba Springer Nature Switzerland AG, oktober 2019

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Celoten opis

Koda Libristo: 24640008

153 b

63.32 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Cluburlaub Marion Keil

Mehka

4.33 €

Quels sports pour votre enfant ? Patrick Seners

Mehka

17.57 €

On a frôlé la guerre atomique - Ces 7 journées où le monde fut au bord de l'apocalypse Luc Mary

Mehka

20.70 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Mehka

12.72 €

Devenez un pro de la guitare en 10 minutes par jour Phil Capone

Mehka

22.72 €

ESPAÑOL A TRAVES DEL TIEMPO (2T) A. LOPEZ SERENA

Trda

42.92 €

Zahrada bez zalévání Annette Leppleová

Mehka

7.57 €

Sex. To, o czym dorośli Ci nie mówią Boguś Janiszewski

Trda

8.58 €

Parola, immagine e cultura editoriale Paolo Rusconi

Mehka

33.63 €

CMM 1 GUILLAUME DUFAY (ca. 1400-1474), Opera Omnia, edited by Heinrich Besseler. Vol. III Missarum pars altera Dufay Knjiga

Mehka

95.14 €

CE Que C'Est Que L'Amour Regis Jauffret

Mehka

3.12 €

Školní detektiv Zuzana Pospíšilová

Trda

7.26 €

STABILO BOSS ORIGINAL NatureCOLORS 4er Etui (schlammgrün siena, umbra, schwarz)

Igrača

5.95 €

Po prostu magia Rygiel Katarzyna

Mehka

9.28 €

La France

Knjiga

33.22 €

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Mehka

8.07 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Mehka

50.09 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Note

132.42 €

de la Destination Et de l'Utilite Permanente Des Pyramides d'Egypte Et de Nubie Persigny-J

Mehka

22.82 €

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Mehka

7.06 €

Tansanit: Gedichte Norbert J Rottensteiner

Mehka

11.71 €

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Mehka

59.18 €

Druuna - Tome 02 Paolo Eleuteri Serpieri

Trda

23.42 €

Waffenschwestern Mark Lawrence

Mehka

15.24 €

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 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 system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter "Assumption-Based Runtime Verification with Partial Observability and Resets" and chapter "NuRV: a nuXmv Extension for Runtime Verification" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.