Constructing Correct Software / Formal Approaches to Computing and Information Technology (FACIT) (PDF)
(Sprache: Englisch)
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer...
sofort als Download lieferbar
eBook (pdf)
52.99 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Constructing Correct Software / Formal Approaches to Computing and Information Technology (FACIT) (PDF)“
Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.
Bibliographische Angaben
- Autor: John Cooke
- 2013, 1998, 395 Seiten, Englisch
- Verlag: Springer, London
- ISBN-10: 1447139852
- ISBN-13: 9781447139850
- Erscheinungsdatum: 29.06.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 23 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Constructing Correct Software / Formal Approaches to Computing and Information Technology (FACIT)"
0 Gebrauchte Artikel zu „Constructing Correct Software / Formal Approaches to Computing and Information Technology (FACIT)“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Constructing Correct Software / Formal Approaches to Computing and Information Technology (FACIT)".
Kommentar verfassen