Produktbild
Richard S. (Hrsg.) Bird

Mathematics of Program Construction

Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.