Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661050
Price: 19766 HUF
Availability: InStock
Author: Koushik Sen
ISBN: 9783642298592

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

Koushik Sen

Sarfaz Khurshid

Language

English

Book Paperback

Libristo code: 01661050

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2012

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

Libristo code: 01661050

136 b

19 766 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Výklad reliéfů pekařství Poilâne Roman Kořan

Book

2 139 Ft

Іслам Bah Slama

Adobe ePub DRM

2 708 Ft

Betrachtungen über die Grundlagen der Philosophie René Descartes

Hardback

2 984 Ft

Der Einfluss des Internets auf die Psyche eines Menschen Shokhrukhbek Mingboev

Paperback

18 866 Ft

vaso di Pandora. Le donne nel mito greco Natalie Haynes

Paperback

7 611 Ft

Ertrinken ist todlich! Roman Kedor

Adobe ePub DRM

376 Ft

Wilde Jahre Astrid Ruppert

Adobe ePub DRM

3 874 Ft

Živý film Marek Jícha

Sheet

5 706 Ft

LA NIEVE MARCOS GIL

Hardback

5 485 Ft

Las cláusulas de moralidad en los contratos de patrocinio deportivo Crespo Celda

Paperback

14 730 Ft

LES ANNEES DE COLLEGE FRANCAIS - TOUT POUR REUSSIR Fabienne Pegoraro

Paperback

7 262 Ft

A titkárnő Renée Knight

Hardback

3 778 Ft

El secreto de mi deseo Maribel Pont Pont

Paperback

4 627 Ft

UEber ein vokalisches Problem des Mitteldeutschen Karl Von Bahder

Paperback

4 512 Ft

Propriétés de surfactants ioniques et solubilisation du phénol Tayeb Abram

Paperback

22 621 Ft

Microarray-basierte Resistenzbestimmung in HIV Michaela Schanne

Paperback

21 120 Ft

Lehrgang Arabisch. Standardsprache der Gegenwart Wolfdietrich Fischer

Paperback

4 223 Ft

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.