Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but also evidence, that the study ofcomputer programs as mathematical objects leads to moreefficient methods for constructing them.The papers in this volume were presented at the SecondInternational Conference on the Mathematics of ProgramConstruction, held at St. Catherine's…
Mehr
CHF 108.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Morgan, C. Carroll (Hrsg.) / Woodcock, James C. P. (Hrsg.)
- ISBN: 978-3-540-56625-0
- EAN: 9783540566250
- Produktnummer: 3257227
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1993
- Seitenangabe: 392 S.
- Masse: H23.5 cm x B15.4 cm x D2.4 cm 510 g
- Auflage: 1993
- Abbildungen: Paperback
- Gewicht: 510
Bewertungen
Anmelden