Menu
Виж статуса на поръчката
Свържете се с нас
Книга Runtime Verification Yli?s Falcone

Runtime Verification

Автор: Yli?s Falcone, César Sánchez
Език: Английски език
Корици: С меки корици
Издател: Springer International Publishing AG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.72 € 103.11 лв
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verif...

Информация за книгата

Автор
Yli?s Falcone, César Sánchez
Език
Английски език
Корици
Книга - С меки корици
Издадена
2016
страници
512
EAN
9783319469812
ISBN
3319469819
Enbook ID
14133166
Издател
Springer International Publishing AG
Теглоt
8015
Размери
155 x 235 x 31

Пълно описание

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.

Може също да ви хареса

Biodivinity

Mrs Charissa Nasrallah Soful
9.12 € 17.83 лв

Cycling

Ace McCloud
18.14 € 35.47 лв

Troubleshooting OpenVPN

Eric F. Crist
38.94 € 76.15 лв

Puzzle Museum Collection Hokusai: The great wave 1000

8.41 € 16.46 лв

Auto Claims without Attorneys: A Guide to Settlement

Doug Fitzpatrick
18.69 € 36.55 лв

Service Parts Management

Nezih Altay
157.67 € 308.37 лв

Antiquities of Shropshire, Volume 4

Robert William Eyton
33.17 € 64.88 лв

Demon Slayer: Kimetsu no Yaiba, Vol. 23

Koyoharu Gotouge
10.07 € 19.69 лв

Shawn Mendes - Easy Piano Collection

17.49 € 34.20 лв

Ethical Hacker's Penetration Testing Guide

Samir Kumar Rakshit
33.02 € 64.59 лв

Sumerian Mythology

Dr. History
13.43 € 26.26 лв

Rook: Exodus Volume 1 Deluxe Hardcover

Jason Fabok
29.56 € 57.82 лв

Nana 25th Anniversary Edition, Vol. 1

Ai Yazawa
19.94 € 39.00 лв

Thin Lizzy

Thin Lizzy
28.61 € 55.96 лв

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

Piku Chowdhury
47.56 € 93.01 лв

Pillar of the World

Julian Markels
37.68 € 73.70 лв

Bishops' Bible. a Novel.

David Christie Murray
23.00 € 44.98 лв

Magyars

Arthur John Patterson
35.23 € 68.90 лв

Chinese Ceramics

Regina Krahl
16.58 € 32.44 лв

Bible Freaks and Geeks

Ed Strauss
8.87 € 17.34 лв

What's Behind the Research?

Brent D. Slife
92.41 € 180.74 лв

Way of Escape

Evangelist George Polk Jr D D
15.83 € 30.97 лв

Клиенти, които купиха тази книга, купиха също

Linkin Park hautnah

23.00 € 44.98 лв

La villa Cavrois

Paul-Hervé Parsy
12.68 € 24.79 лв

Scholia graeca in Aeschinem et Isocratem ex codicibus aucta et emendata

Aeschines Aeschines
18.74 € 36.65 лв

Complications de la chirurgie orthognatique

Sreejee G.
72.97 € 142.71 лв

REMINISCENCES

MARKUS
26.26 € 51.35 лв

Inleiding in de psychopathologie

Ron van Deth
45.55 € 89.09 лв

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

27.11 € 53.02 лв

Matemáticas para economistas

Palencia González
40.64 € 79.49 лв

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

MARTINO
23.90 € 46.75 лв

ATENCION A LA DIVERSIDAD

BOUDON GORRAIZ
23.25 € 45.47 лв

Die Musikinstrumenten-Industrie des sächsischen Vogtlandes

Louis Bein
27.46 € 53.71 лв

Magické cupcaky a mafiny

Paulína Franková
10.32 € 20.18 лв

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

Marine Everard
13.93 € 27.24 лв

Marionettenbuhne

Collin Coel
18.04 € 35.28 лв

Krieg im Jahre 1870

Michail Nikolaiev Annenkoff
15.63 € 30.57 лв

Diogene. Satire Populaire: N Degrees 1

Sans Auteur
12.32 € 24.10 лв

Jakie to flagi mini

4.05 € 7.93 лв