• Produktbild: Model Checking Software
  • Produktbild: Model Checking Software
Band 9232

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.2015

Abbildungen

XVIII, 66 illus., schwarz-weiss Illustrationen

Herausgeber

Bernd Fischer + weitere

Verlag

Springer

Seitenzahl

319

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23403-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.2015

Abbildungen

XVIII, 66 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

319

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-23403-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Model Checking Software
  • Produktbild: Model Checking Software
  • Abstraction, refinement, translation.- Büchi automata and hashing.- Embedded systems.- Heuristics and benchmarks.- SAT/SMT- based approaches.- Software validation and verification.