Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Runtime Verification

Name: Runtime Verification
Brand: Springer Nature Switzerland AG
SKU: 24640008
Price: 1535 CZK
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

Nakladatelství Springer Nature Switzerland AG, říjen 2019

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

Libristo kód: 24640008

154 b

1 535 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Cluburlaub Marion Keil

Brožovaná

106 Kč

La France

Kniha

888 Kč

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

Brožovaná

2 412 Kč

Il a Fait L'Idiot La Chapelle Daniel Auteuil

Brožovaná

194 Kč

Po prostu magia Rygiel Katarzyna

Brožovaná

243 Kč

Druuna - Tome 02 Paolo Eleuteri Serpieri

Pevná

627 Kč

Quels sports pour votre enfant ? Patrick Seners

Brožovaná

472 Kč

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

Hračka

152 Kč

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

Brožovaná

608 Kč

Parola, immagine e cultura editoriale Paolo Rusconi

Brožovaná

911 Kč

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

Brožovaná

555 Kč

Zahrada bez zalévání Annette Leppleová

Brožovaná

170 Kč

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

Brožovaná

582 Kč

CE Que C'Est Que L'Amour Regis Jauffret

Brožovaná

82 Kč

Portfolio zu den "Turkendramen der Vormoderne Ramona Schilling

Brožovaná

309 Kč

Paleta barw edukacji wspolczesnego czlowieka (ucznia) Prokopiuk W Odzimierz

Brožovaná

1 318 Kč

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

Brožovaná

1 115 Kč

Beziehungsmanagement Im Arzt-Patient-Verhaltnis Thomas Keller

Brožovaná

1 434 Kč

Die Moderne Bodengesetzgebung in Kamerun 1884-1964 H. Krauss

Brožovaná

1 214 Kč

Missa in honorem Sancti Gotthardi, Komplettes Orchestermaterial Michael Haydn

Noty

3 586 Kč

Nanobots Capero

Brožovaná

444 Kč

Školní detektiv Zuzana Pospíšilová

Pevná

203 Kč

Tansanit: Gedichte Norbert J Rottensteiner

Brožovaná

284 Kč

Beginner's Hungarian Word Searches - Volume 3 Erik Zidowecki

Brožovaná

196 Kč

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.