Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642298592
Price: 50.15 EUR
Availability: InStock

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Autor: Koushik Sen, Sarfaz Khurshid

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.15 €

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa...

Informácie o knihe

Autor

Koushik Sen, Sarfaz Khurshid

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

458

EAN

9783642298592

ISBN

3642298591

Enbook ID

01661050

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

718

Rozmery

155 x 235 x 26

Kompletný popis

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.§The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Runtime Verification

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež