Carte Runtime Verification Shaz Qadeer

Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.75 lei
This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2013
Pagini
322
EAN
9783642356315
ISBN
3642356311
Enbook ID
01662853
Greutate
516
Dimensiuni
155 x 235 x 18

Descriere completă

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.§The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

S-ar putea să te intereseze

Pipe Dreams

Peterson
812.50 lei
375.36 lei

Invisible

J. R. Solonche
69.76 lei
271.97 lei

White Swan Express

Jean Davies Okimoto
68.34 lei
145.30 lei

Punishment Club

Jacqueline Masterson
142.77 lei

Victory through Harmony

Christina L. Baade
202.00 lei

Extended Family of Jesus

M D Rev David P Friedline
210.00 lei

I-writing

Karen Surman Paley
287.57 lei

Intonation Systems

Daniel HirstAlbert Di Cristo
447.25 lei

Lust

DAHL ROALD
64.49 lei

Clienții care au cumpărat această carte au mai cumpărat și

62.16 lei
106.52 lei

Nicht immer denken

Norman Schmid
56.49 lei

DAEMON; .

Daniel Suarez
106.92 lei
9.91 lei