Program Construction
International Summer School
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)
V103:
Folgt in ca. 5 Arbeitstagen
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
Anmelden