Constructing Correct Software
(Sprache: Englisch)
Links constructive software development to traditional problem-solving methodsNot dependent on any particular specification language, but is based instead on their common core
Leider schon ausverkauft
versandkostenfrei
Buch
98.95 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Constructing Correct Software “
Klappentext zu „Constructing Correct Software “
Links constructive software development to traditional problem-solving methodsNot dependent on any particular specification language, but is based instead on their common core
Inhaltsverzeichnis zu „Constructing Correct Software “
- Preface to First Edition- Preface to Second Edition
- Introduction
- Part A: The Technical Background; On Programming
- Part B: Algorithm #Extraction; Recursion Removal; Quantifications; Refinement and Reuse
- Part C: Sorting; Data Refinement
Bibliographische Angaben
- Autor: D. John Cooke
- 2004, 2nd ed., 509 Seiten, 100 Abbildungen, Maße: 15,4 x 23,3 cm, Kartoniert (TB), Englisch
- Verlag: Springer, London
- ISBN-10: 1852338202
- ISBN-13: 9781852338206
- Erscheinungsdatum: 08.11.2004
Sprache:
Englisch
Kommentar zu "Constructing Correct Software"
Schreiben Sie einen Kommentar zu "Constructing Correct Software".
Kommentar verfassen