Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Tools for Practical Software Verification
  • Produktbild: Tools for Practical Software Verification
Band 7682

Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Aus der Reihe Programming and Software Engineering

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.11.2012

Abbildungen

VIII, 183 p. 31 illus.

Herausgeber

Bertrand Meyer + weitere

Verlag

Springer Berlin

Seitenzahl

183

Maße (L/B/H)

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

Gewicht

300 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-35745-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.11.2012

Abbildungen

VIII, 183 p. 31 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

183

Maße (L/B/H)

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

Gewicht

300 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-35745-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Tools for Practical Software Verification
  • Produktbild: Tools for Practical Software Verification
  • Model Checking and the State Explosion Problem.- From Program to Logic: An Introduction.- Introduction to the Coq Proof-Assistant for Practical Software Verification.- Advanced Theorem Proving Techniques in PVS and Applications.- Automatic Verification of Advanced Object-Oriented Features:.- The AutoProof Approach.- Using Dafny, an Automatic Program Verifier.