Specification of Software Systems / Texts in Computer Science (PDF)
(Sprache: Englisch)
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the...
sofort als Download lieferbar
eBook (pdf)
85.59 €
42 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Specification of Software Systems / Texts in Computer Science (PDF)“
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.
Bibliographische Angaben
- Autoren: V. S. Alagar , K. Periyasamy
- 2013, 1998, 422 Seiten, Englisch
- Verlag: Springer, New York
- ISBN-10: 1475729200
- ISBN-13: 9781475729207
- Erscheinungsdatum: 14.03.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 30 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 "Specification of Software Systems / Texts in Computer Science"
0 Gebrauchte Artikel zu „Specification of Software Systems / Texts in Computer Science“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Specification of Software Systems / Texts in Computer Science".
Kommentar verfassen