Produktbild
C. Neville (Hrsg.) Dean

Teaching Formal Methods

CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Ebook (PDF Format)

Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products. This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway's words aspire to be engineers. The rare exceptions are certain critical applications, where mathematical techniques are used under the general name forma… Mehr

CHF 93.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Boute, Raymond T. (Hrsg.)
  • ISBN: 978-3-540-30472-2
  • EAN: 9783540304722
  • Produktnummer: 37247986
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2004
  • Seitenangabe: 252 S.
  • Plattform: PDF
  • Auflage: 2004
  • Reihenbandnummer: 3294

1 weiteres Werk von C. Neville (Hrsg.) Dean:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.