Runtime Verification

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

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

Автор: Koushik Sen, Sarfaz Khurshid

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.68 € 103.02 лв

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

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

Автор

Koushik Sen, Sarfaz Khurshid

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

458

EAN

9783642298592

ISBN

3642298591

Enbook ID

01661050

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

718

Размери

155 x 235 x 26

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

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.

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

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

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Runtime Verification

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

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

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

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

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