Produktbild
Peter (Hrsg.) Ryan

Formal Methods in Systems Engineering

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.