Warenkorb

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Lecture Notes in Computer Science Band 7385

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

… weiterlesen
  • Artikelbild-0
In den Warenkorb

Beschreibung

Produktdetails

Einband Taschenbuch
Herausgeber Alastair Donaldson, David Parker
Seitenzahl 261
Erscheinungsdatum 25.07.2012
Sprache Englisch
ISBN 978-3-642-31758-3
Verlag Springer
Maße (L/B/H) 24/15,8/1,8 cm
Gewicht 410 g
Abbildungen 85 schwarz-weiße Abbildungen
Auflage 2012
Buch (Taschenbuch, Englisch)
Buch (Taschenbuch, Englisch)
46,99
46,99
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Sofort lieferbar Versandkostenfrei
Sofort lieferbar
Versandkostenfrei
In den Warenkorb
Vielen Dank für Ihr Feedback!
Entschuldigung, beim Absenden Ihres Feedbacks ist ein Fehler passiert. Bitte versuchen Sie es erneut.
Ihr Feedback zur Seite
Haben Sie alle relevanten Informationen erhalten?
Ihr Feedback ist anonym. Wir nutzen es, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Wenn Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kundenservice wenden.

Weitere Bände von Lecture Notes in Computer Science

mehr

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.