Runtime Verification / Lecture Notes in Computer Science Bd.7186 (PDF)
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
(Sprache: Englisch)
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...
The 24 revised full papers presented together with 3 invited...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Runtime Verification / Lecture Notes in Computer Science Bd.7186 (PDF)“
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.
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.
Bibliographische Angaben
- 2012, 2012, 458 Seiten, Englisch
- Herausgegeben: Koushik Sen, Sarfaz Khurshid
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642298605
- ISBN-13: 9783642298608
- Erscheinungsdatum: 12.05.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 13 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Runtime Verification / Lecture Notes in Computer Science Bd.7186"
0 Gebrauchte Artikel zu „Runtime Verification / Lecture Notes in Computer Science Bd.7186“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Runtime Verification / Lecture Notes in Computer Science Bd.7186".
Kommentar verfassen