• 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

49,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

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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.