Formal Methods in Systems Engineering
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM9…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Sennett, Chris (Hrsg.)
- ISBN: 978-3-540-19751-5
- EAN: 9783540197515
- Produktnummer: 16126566
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 208 S.
- Masse: H23.5 cm x B15.5 cm x D1.1 cm 324 g
- Auflage: 1st Edition
- Abbildungen: Paperback
- Gewicht: 324
11 weitere Werke von Peter (Hrsg.) Ryan:
Bewertungen
Anmelden