Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642356315
Price: 19274 HUF
Availability: InStock

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

Szerző: Shaz Qadeer, Serdar Tasiran

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 274 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the Third International...

Információk a könyvről

Szerző

Shaz Qadeer, Serdar Tasiran

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

322

EAN

9783642356315

ISBN

3642356311

Enbook ID

01662853

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

516

Méretek

155 x 235 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Runtime Verification

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták