Verwandte Artikel zu Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice - Softcover

 
9781447105244: Industrial-Strength Formal Methods in Practice
Softcover
ISBN 10: 1447105249 ISBN 13: 9781447105244
Verlag: Springer, 2011

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1447105249
ISBN 13 
9781447105244
Einband
Paperback
Anzahl der Seiten
420
Herausgeber
Hinchey Michael G., Bowen Jonathan P.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9781852336400: Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Vorgestellte Ausgabe

ISBN 10:  1852336404 ISBN 13:  9781852336400
Verlag: Springer, 2013
Softcover