Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 25.06.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. 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 Geschenkkarten, Versandkosten und Services.
  • Produktbild: Industrial-Strength Formal Methods in Practice
  • Produktbild: Industrial-Strength Formal Methods in Practice
- 11%

Industrial-Strength Formal Methods in Practice

Aus der Reihe Formal Approaches to Computing and Information Technology (FACIT)
11% sparen

145,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.1999

Herausgeber

Michael G. Hinchey + weitere

Verlag

Springer London

Seitenzahl

400

Maße (L/B/H)

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

Gewicht

628 g

Auflage

1999

Sprache

Englisch

ISBN

978-1-85233-640-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.1999

Herausgeber

Verlag

Springer London

Seitenzahl

400

Maße (L/B/H)

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

Gewicht

628 g

Auflage

1999

Sprache

Englisch

ISBN

978-1-85233-640-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Industrial-Strength Formal Methods in Practice
  • Produktbild: Industrial-Strength Formal Methods in Practice
  • 1 It’s Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990.- 3 The Formal Verification of a Payment System.- 4 Specification of a Chemical Process Controller in B.- 5 Formal Analysis of the Motorola CAP DSP.- 6 Bridging the E-Business Gap Through Formal Verification.- 7 A CAD Environment for Safety-Critical Software.- 8 Scheduling and Rescheduling of Trains.- 9 Lessons from the Formal Development of a Radiation Therapy Machine Control Program.- 10 Using Formal Methods to Develop an ATC Information System.- 11 Rigorous Review Technique.- 12 Analysing Z Specifications with Z/EVES.- 13 How to Construct Formal Arguments that Persuade Certifiers.- 14 Formal Methods Through Domain Engineering.- 15 Formal Verification in Railways.- 16 Cleanroom Software Engineering: Theory and Practice.- References.