Vor Ort
Merkzettel Warenkorb
  • Produktbild: Industrial-Strength Formal Methods in Practice
  • Produktbild: Industrial-Strength Formal Methods in Practice
- 10%

Industrial-Strength Formal Methods in Practice

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

142,99 € UVP 160,49 €

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

633 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

633 g

Auflage

1999

Sprache

Englisch

ISBN

978-1-85233-640-0

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: 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.