Verwandte Artikel zu The Design of Well-structured and Correct Programs...

The Design of Well-structured and Correct Programs (Texts and Monographs in Computer Science) - Hardcover

 
9783540902997: The Design of Well-structured and Correct Programs (Texts and Monographs in Computer Science)

Inhaltsangabe

This text synthesizes research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are provided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is necessary beyond the basic idea of a mathematical proof. A sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This text synthesizes research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are provided. As a PASCAL programming text, it not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition of PASCAL in terms of proof rules. Although an introductory course in programmming is required, no particular mathematical background is necessary beyond the basic idea of a mathematical proof. A sample of algorithms, including some examples from business data processing, is presented. This collection is supplemented by an extensive set of exercises.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Sehr gut
Zustand: Sehr gut - Gepflegter,...
Diesen Artikel anzeigen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

Suchergebnisse für The Design of Well-structured and Correct Programs...

Beispielbild für diese ISBN

Alagic, Suad /Arbib, Michael A.
ISBN 10: 3540902996 ISBN 13: 9783540902997
Gebraucht Hardcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1978. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 292 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 75540/202

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,69
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Alagic, Suad and Michael A. Arbib:
ISBN 10: 3540902996 ISBN 13: 9783540902997
Gebraucht Hardcover

Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

gebundene Ausgabe. Zustand: Gut. 292 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620. Artikel-Nr. 2040527

Verkäufer kontaktieren

Gebraucht kaufen

EUR 13,95
Währung umrechnen
Versand: EUR 3,20
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Alagic, Suad and Michael A. Arbib:
ISBN 10: 3540902996 ISBN 13: 9783540902997
Gebraucht Hardcover

Anbieter: Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Auflage: First Printing. 292 Seiten Einband bestossen, Schnitt gebräunt, sonst gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 612 15,0 x 12,0 x 2,0 cm, Gebundene Ausgabe. Artikel-Nr. 56112

Verkäufer kontaktieren

Gebraucht kaufen

EUR 15,00
Währung umrechnen
Versand: EUR 4,00
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Arbib M.A. Alagic S.
Verlag: Springer, 1978
ISBN 10: 3540902996 ISBN 13: 9783540902997
Gebraucht Hardcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 292. Artikel-Nr. 1897469039

Verkäufer kontaktieren

Gebraucht kaufen

EUR 51,97
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb