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

Yli?s Falcone

César Sánchez

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 14133166

Nakladatelství Springer International Publishing AG, září 2016

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

Libristo kód: 14133166

118 b

1 182 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Linkin Park hautnah

Pevná

512 Kč

La villa Cavrois Paul-Hervé Parsy

Brožovaná

304 Kč

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata Aeschines Aeschines

Brožovaná

445 Kč

Complications de la chirurgie orthognatique Sreejee G.

Brožovaná

1 620 Kč

REMINISCENCES MARKUS

Audio CD

629 Kč

Inleiding in de psychopathologie Ron van Deth

Brožovaná

1 084 Kč

Mighty Morphin Power Rangers Combinable Dinozord Action Figure Sabertooth Tiger 20 cm Hra/Hračka

Hračka

677 Kč

Matemáticas para economistas Palencia González

Brožovaná

976 Kč

EL ESCRITO(R) MISIONERO: ENTRE CIENCIA, ARTE Y LITERATURA MARTINO

Brožovaná

575 Kč

ATENCION A LA DIVERSIDAD BOUDON GORRAIZ

Brožovaná

557 Kč

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes Louis Bein

Brožovaná

610 Kč

Magické cupcaky a mafiny Paulína Franková

Pevná

238 Kč

Le Coeur des enfants léopards de Wilfried N'Sondé (Fiche de lecture) Marine Everard

Brožovaná

309 Kč

Marionettenbuhne Collin Coel

Pevná

400 Kč

Krieg im Jahre 1870 Michail Nikolaiev Annenkoff

Brožovaná

348 Kč

Diogene. Satire Populaire: N Degrees 1 Sans Auteur

Brožovaná

293 Kč

Jakie to flagi mini

Hra

96 Kč

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 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 correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.