A Theory and Practice of Program Development / Formal Approaches to Computing and Information Technology (FACIT) (PDF)
(Sprache: Englisch)
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „A Theory and Practice of Program Development / Formal Approaches to Computing and Information Technology (FACIT) (PDF)“
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
Bibliographische Angaben
- Autor: Derek J. Andrews
- 2012, 1997, 405 Seiten, Englisch
- Verlag: Springer, London
- ISBN-10: 1447109872
- ISBN-13: 9781447109877
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 42 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 "A Theory and Practice of Program Development / Formal Approaches to Computing and Information Technology (FACIT)"
0 Gebrauchte Artikel zu „A Theory and Practice of Program Development / Formal Approaches to Computing and Information Technology (FACIT)“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "A Theory and Practice of Program Development / Formal Approaches to Computing and Information Technology (FACIT)".
Kommentar verfassen