Computer Science Series: Programming with VDM (PDF)
(Sprache: Englisch)
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of...
Leider schon ausverkauft
eBook
18.85 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Computer Science Series: Programming with VDM (PDF)“
This text aims to provide a practical programmer's introduction to VDM (Vienna Development Method) - one of the leading methods of formal methods for program development. Adopts an object-oriented approach to software design and includes many examples of target programs written in Modula-2. Although intended for readers with some experience of programming, no prior knowledge of mathematics is assumed: the contents include a chapter on the mathematics required for VDM. The final chapter contains a prototype electronic mail system, specified using VDM, and implemented in Modula-2.
Bibliographische Angaben
- Autor: F.D. Rolland
- 1992, Englisch
- ISBN-10: 1349126926
- ISBN-13: 9781349126927
- Erscheinungsdatum: 11.11.1992
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- 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 "Computer Science Series: Programming with VDM"
0 Gebrauchte Artikel zu „Computer Science Series: Programming with VDM“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Computer Science Series: Programming with VDM".
Kommentar verfassen