Produktbild
F. L. Bauer

Program Construction

International Summer School

Buch

A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of natural language programming.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development ¿ The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always?.- A case study in… Mehr

CHF 68.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Dijkstra, E. W. / Gerhart, S. L. / Gries, D. / Griffiths, M. / Guttag, J. V. / Horning, J. J. / Owicki, S. S. / Pair, C. / Partsch, H. / Pepper, P. / Wirsing, M. / Wössner, H. / Bauer, F. L. (Hrsg.) / Broy, M. (Hrsg.)
  • ISBN: 978-3-540-09251-3
  • EAN: 9783540092513
  • Produktnummer: 3246049
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1979
  • Seitenangabe: 664 S.
  • Masse: H23.5 cm x B15.5 cm x D3.5 cm 990 g
  • Auflage: 1979
  • Abbildungen: Paperback
  • Gewicht: 990

16 weitere Werke von F. L. Bauer:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.