Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Runtime Verification Yli?s Falcone

Runtime Verification

Autor: Yli?s Falcone, César Sánchez
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
217.26 zł
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif...

Informacje o książce

Autor
Yli?s Falcone, César Sánchez
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2016
strony
512
EAN
9783319469812
ISBN
3319469819
Enbook ID
14133166
Wydawca
Springer International Publishing AG
Waga
8015
Wymiary
155 x 235 x 31

Pełny opis

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.

Możesz być zainteresowany

Biodivinity

Mrs Charissa Nasrallah Soful
39.62 zł

Cycling

Ace McCloud
78.75 zł

Troubleshooting OpenVPN

Eric F. Crist
168.96 zł

Puzzle Museum Collection Hokusai: The great wave 1000

30.26 zł

Auto Claims without Attorneys: A Guide to Settlement

Doug Fitzpatrick
81.14 zł

Service Parts Management

Nezih Altay
738.62 zł

Antiquities of Shropshire, Volume 4

Robert William Eyton
144.07 zł

Demon Slayer: Kimetsu no Yaiba, Vol. 23

Koyoharu Gotouge
41.01 zł

Shawn Mendes - Easy Piano Collection

71.58 zł

Ethical Hacker's Penetration Testing Guide

Samir Kumar Rakshit
143.37 zł

Sumerian Mythology

Dr. History
58.34 zł

Rook: Exodus Volume 1 Deluxe Hardcover

Jason Fabok
128.24 zł

Nana 25th Anniversary Edition, Vol. 1

Ai Yazawa
79.25 zł

Thin Lizzy

Thin Lizzy
118.38 zł

Locus of Reality: T. S. Eliot's Encounters with the Word That Connects

Piku Chowdhury
194.85 zł

Pillar of the World

Julian Markels
163.59 zł

Bishops' Bible. a Novel.

David Christie Murray
99.76 zł

Magyars

Arthur John Patterson
152.93 zł

Chinese Ceramics

Regina Krahl
72.68 zł

Bible Freaks and Geeks

Ed Strauss
38.62 zł

What's Behind the Research?

Brent D. Slife
379.36 zł

Way of Escape

Evangelist George Polk Jr D D
60.33 zł

Klienci, którzy kupili tę książkę, kupili również

Linkin Park hautnah

94.38 zł

La villa Cavrois

Paul-Hervé Parsy
52.17 zł

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata

Aeschines Aeschines
81.34 zł

Complications de la chirurgie orthognatique

Sreejee G.
299.10 zł

REMINISCENCES

MARKUS
108.82 zł

Inleiding in de psychopathologie

Ron van Deth
188.18 zł

Mighty Morphin Power Rangers Combinable Dinozord Action Figure Sabertooth Tiger 20 cm

117.69 zł

Matemáticas para economistas

Palencia González
155.72 zł

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

MARTINO
91.80 zł

ATENCION A LA DIVERSIDAD

BOUDON GORRAIZ
87.61 zł

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes

Louis Bein
112.61 zł

Magické cupcaky a mafiny

Paulína Franková
42.90 zł

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

Marine Everard
57.04 zł

Marionettenbuhne

Collin Coel
73.87 zł

Krieg im Jahre 1870

Michail Nikolaiev Annenkoff
64.11 zł

Diogene. Satire Populaire: N Degrees 1

Sans Auteur
53.56 zł

Jakie to flagi mini

15.12 zł