• Produktbild: Runtime Verification
  • Produktbild: Runtime Verification

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.10.2008

Herausgeber

Martin Leucker

Verlag

Springer Berlin

Seitenzahl

189

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

312 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89246-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.10.2008

Herausgeber

Martin Leucker

Verlag

Springer Berlin

Seitenzahl

189

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

312 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89246-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: [email protected]

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification
  • A Smell of Orchids.- Runtime Certification.- Model-Based Run-Time Checking of Security Permissions Using Guarded Objects.- Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.- Forays into Sequential Composition and Concatenation in Eagle.- Checking Traces for Regulatory Conformance.- Deadlocks: From Exhibiting to Healing.- A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.- Property Patterns for Runtime Monitoring of Web Service Conversations.- Runtime Monitoring of Object Invariants with Guarantee.- A Lightweight Container Architecture for Runtime Verification.