Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Aus der Reihe

Fr. 191.00

inkl. gesetzl. MwSt.
Versandkostenfrei
Taschenbuch

Taschenbuch

Fr. 191.00 eBook

eBook

Fr. 187.90

Industrial-Strength Formal Methods in Practice

Ebenfalls verfügbar als:

Taschenbuch

Taschenbuch

ab Fr. 191.00
eBook

eBook

ab Fr. 187.90

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

17.09.1999

Herausgeber

Michael G. Hinchey + weitere

Verlag

Springer London

Seitenzahl

400

Beschreibung

Details

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

Weitere Bände von Formal Approaches to Computing and Information Technology (FACIT)

Unsere Kundinnen und Kunden meinen

0.0

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.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern
  • 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.