Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Runtime Verification

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

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

Bernd Finkbeiner

Leonardo Mariani

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 24640008

Nakladateľstvo Springer Nature Switzerland AG, október 2019

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verif... Celý popis

Libristo kód: 24640008

162 b

66.99 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Cluburlaub Marion Keil

Brožovaná

4.64 €

La France

Kniha

36.67 €

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

Brožovaná

99.53 €

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Brožovaná

7.97 €

Po prostu magia Rygiel Katarzyna

Brožovaná

9.99 €

Druuna - Tome 02 Paolo Eleuteri Serpieri

Pevná

25.86 €

Quels sports pour votre enfant ? Patrick Seners

Brožovaná

19.49 €

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

Hračka

5.55 €

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

Brožovaná

25.05 €

Parola, immagine e cultura editoriale Paolo Rusconi

Brožovaná

37.58 €

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

Brožovaná

22.93 €

Zahrada bez zalévání Annette Leppleová

Brožovaná

7.97 €

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

Brožovaná

24.04 €

CE Que C'Est Que L'Amour Regis Jauffret

Brožovaná

3.43 €

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Brožovaná

13.53 €

Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz

Brožovaná

57.79 €

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

Brožovaná

48.90 €

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Brožovaná

62.54 €

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Brožovaná

53.04 €

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Noty

148.03 €

Nanobots Capero

Brožovaná

18.28 €

Školní detektiv Zuzana Pospíšilová

Pevná

7.27 €

Tansanit: Gedichte Norbert J Rottensteiner

Brožovaná

11.71 €

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Brožovaná

8.07 €

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.