Produktbild
Jonathan P. (Hrsg.) Bowen

ZUM '98: The Z Formal Specification Notation

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Buch

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,… Mehr

CHF 126.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Fett, Andreas (Hrsg.) / Hinchey, Michael G. (Hrsg.)
  • ISBN: 978-3-540-65070-6
  • EAN: 9783540650706
  • Produktnummer: 3301223
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1998
  • Seitenangabe: 440 S.
  • Masse: H24.6 cm x B15.9 cm x D2.8 cm 654 g
  • Auflage: 1998
  • Abbildungen: Paperback
  • Gewicht: 654

32 weitere Werke von Jonathan P. (Hrsg.) Bowen:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.