Runtime Verification

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

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

Autor: Koushik Sen, Sarfaz Khurshid

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.24 zł

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

Informacje o książce

Autor

Koushik Sen, Sarfaz Khurshid

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

458

EAN

9783642298592

ISBN

3642298591

Enbook ID

01661050

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

718

Wymiary

155 x 235 x 26

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Runtime Verification

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również