Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Runtime Verification

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

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

Bernd Finkbeiner

Leonardo Mariani

Sprache

Englisch

Buch Broschur

Libristo-Code: 24640008

Verlag Springer Nature Switzerland AG, Oktober 2019

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Vollständige Beschreibung

Libristo-Code: 24640008

171 b

69.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cluburlaub Marion Keil

Broschur

4.79 €

Po prostu magia Rygiel Katarzyna

Broschur

9.19 €

Školní detektiv Zuzana Pospíšilová

Hardcover

9.69 €

Druuna - Tome 02 Paolo Eleuteri Serpieri

Hardcover

26.59 €

Quels sports pour votre enfant ? Patrick Seners

Broschur

19.89 €

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

Spielzeug

6.19 €

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

Broschur

25.79 €

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

Broschur

23.49 €

Zahrada bez zalévání Annette Leppleová

Broschur

9.29 €

Parola, immagine e cultura editoriale Paolo Rusconi

Broschur

38.99 €

La France

Buch

37.69 €

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

Broschur

102.79 €

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

Broschur

24.79 €

CE Que C'Est Que L'Amour Regis Jauffret

Broschur

2.89 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Broschur

14.99 €

Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz

Broschur

60.59 €

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

Broschur

51.19 €

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Broschur

65.29 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Broschur

55.29 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Noten

154.19 €

Nanobots Capero

Broschur

20.09 €

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Broschur

8.09 €

Tansanit: Gedichte Norbert J Rottensteiner

Broschur

12.79 €

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Broschur

8.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Runtime Verification

Autor Bernd Finkbeiner, Leonardo Mariani

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2019

Anzahl der Seiten 413

EAN 9783030320782

Libristo-Code 24640008

Verlag Springer Nature Switzerland AG

Gewicht 646

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert