Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 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 paketomatih Pošte Slovenije.

Runtime Verification

Name: Runtime Verification
Brand: Springer Nature Switzerland AG
SKU: 24640008
Price: 63.49 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.49 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Cluburlaub Marion Keil

Mehka

4.35 €

La France

Knjiga

33.51 €

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

Mehka

95.50 €

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Mehka

7.28 €

Po prostu magia Rygiel Katarzyna

Mehka

8.80 €

Druuna - Tome 02 Paolo Eleuteri Serpieri

Trda

23.69 €

Quels sports pour votre enfant ? Patrick Seners

Mehka

17.82 €

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

Igrača

5.97 €

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

Mehka

22.98 €

Parola, immagine e cultura editoriale Paolo Rusconi

Mehka

33.92 €

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

Mehka

20.96 €

Zahrada bez zalévání Annette Leppleová

Mehka

7.89 €

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

Mehka

24.10 €

CE Que C'Est Que L'Amour Regis Jauffret

Mehka

3.03 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Mehka

12.75 €

Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz

Mehka

54.58 €

Hombre, naturaleza y sociedad en la obra de Fernando Boytel Jambu Adriana Mercedes Ortiz Blanco

Mehka

46.18 €

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Mehka

59.34 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Mehka

50.23 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Note

132.77 €

Nanobots Capero

Mehka

18.32 €

Školní detektiv Zuzana Pospíšilová

Trda

7.28 €

Tansanit: Gedichte Norbert J Rottensteiner

Mehka

11.74 €

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Mehka

8.09 €

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.