Produktbild
Manfred (Hrsg.) Broy

Program Design Calculi

Buch

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed step… Mehr

CHF 276.00

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

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-3-540-56943-5
  • EAN: 9783540569435
  • Produktnummer: 3220752
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1993
  • Seitenangabe: 428 S.
  • Masse: H24.2 cm x B16.2 cm x D2.6 cm 680 g
  • Auflage: 1993
  • Abbildungen: HC runder Rücken kaschiert
  • Gewicht: 680

50 weitere Werke von Manfred (Hrsg.) Broy:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.