Formal Software Development (PDF)
From VDM to Java
(Sprache: Englisch)
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the...
sofort als Download lieferbar
eBook (pdf)
81.20 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Software Development (PDF)“
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.
Autoren-Porträt von Quentin Charatan, Aaron Kans
QUENTIN CHARATAN is Principal Lecturer at the University of East London, UK.
Bibliographische Angaben
- Autoren: Quentin Charatan , Aaron Kans
- 2003, 1. Auflage, 256 Seiten, Englisch
- Verlag: Bloomsbury UK
- ISBN-10: 0230005861
- ISBN-13: 9780230005860
- Erscheinungsdatum: 09.09.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 1.53 MB
- Mit Kopierschutz
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 "Formal Software Development"
Schreiben Sie einen Kommentar zu "Formal Software Development".
Kommentar verfassen