The design of well-structured and correct programs

By:

Alagic, Suad

Contributor(s):

Arbib, Michael A

Material type: Text

TextSeries: Texts and monographs in computer sciencePublication details: Nueva York : [S.n.], c1978Edition: 2nd corr. print. edDescription: x, 292 p. : il. ; 24 cmISBN:

0387902996

Subject(s):

Contents:

Introducing top-down design -- Basic compositions of actions and their proof rules -- Data types -- Developing programs with proofs of correctness -- Procedures and functions -- Recursion -- Programming with and without gotos.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due
Libro	Biblioteca de la Facultad de Informática	D.1 ALA (Browse shelf(Opens below))	Available
Libro	Biblioteca de la Facultad de Informática	D.1 ALA (Browse shelf(Opens below))	Available

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	D.1 ABA Introducción a la programación /	D.1 ABR The B-Book : assigning programs to meanings	D.1 ABR The B-Book : assigning programs to meanings	D.1 ALA The design of well-structured and correct programs	D.1 ALA The design of well-structured and correct programs	D.1 BAL Programación metódica	D.1 BEN Programming Pearls	Next

Incluye ejercicios y glosario. --

Click on an image to view it in the image viewer