The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
Einstelldatum: 16.12.2015
Autor: Suad Alagic; Michael A. Arbib
Medium: Hardcover
Zahl der Medien:
1
Verlag: Springer
Jahr:
1978
Seitenzahl: 292
Gewicht(g): 588
ISBN: 0387902996
EAN: 9780387902999
Sprache(n): Englisch
Angeboten für 2 Token
Produktbewertungen
Versand
446 Besucher
Zustand
2 - Gut
Kommt aus einem Nichtraucherhaushalt
Schnitt vergilbt, innen tadellos.
Beschreibung
This text synthesizes ten years of 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 PASAL language.