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
212.13 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
38.68 zł

Cycling

Ace McCloud
76.89 zł

Troubleshooting OpenVPN

Eric F. Crist
164.97 zł

Puzzle Museum Collection Hokusai: The great wave 1000

29.35 zł

Auto Claims without Attorneys: A Guide to Settlement

Doug Fitzpatrick
79.22 zł

Service Parts Management

Nezih Altay
633.67 zł

Antiquities of Shropshire, Volume 4

Robert William Eyton
140.67 zł

Demon Slayer: Kimetsu no Yaiba, Vol. 23

Koyoharu Gotouge
40.05 zł

Shawn Mendes - Easy Piano Collection

70.09 zł

Ethical Hacker's Penetration Testing Guide

Samir Kumar Rakshit
139.99 zł

Sumerian Mythology

Dr. History
56.96 zł

Rook: Exodus Volume 1 Deluxe Hardcover

Jason Fabok
125.21 zł

Nana 25th Anniversary Edition, Vol. 1

Ai Yazawa
79.42 zł

Thin Lizzy

Thin Lizzy
115.59 zł

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

Piku Chowdhury
190.25 zł

Pillar of the World

Julian Markels
159.72 zł

Bishops' Bible. a Novel.

David Christie Murray
97.41 zł

Magyars

Arthur John Patterson
149.32 zł

Chinese Ceramics

Regina Krahl
65.81 zł

Bible Freaks and Geeks

Ed Strauss
37.71 zł

What's Behind the Research?

Brent D. Slife
370.79 zł

Way of Escape

Evangelist George Polk Jr D D
67.17 zł

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

Linkin Park hautnah

92.16 zł

La villa Cavrois

Paul-Hervé Parsy
51.61 zł

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata

Aeschines Aeschines
79.42 zł

Complications de la chirurgie orthognatique

Sreejee G.
292.04 zł

REMINISCENCES

MARKUS
106.74 zł

Inleiding in de psychopathologie

Ron van Deth
183.93 zł

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

114.91 zł

Matemáticas para economistas

Palencia González
165.65 zł

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

MARTINO
97.60 zł

ATENCION A LA DIVERSIDAD

BOUDON GORRAIZ
94.49 zł

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes

Louis Bein
109.95 zł

Magické cupcaky a mafiny

Paulína Franková
41.21 zł

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

Marine Everard
55.70 zł

Marionettenbuhne

Collin Coel
72.13 zł

Krieg im Jahre 1870

Michail Nikolaiev Annenkoff
62.60 zł

Diogene. Satire Populaire: N Degrees 1

Sans Auteur
52.30 zł

Jakie to flagi mini

13.02 zł