Software Specification Methods / Formal Approaches to Computing and Information Technology (FACIT) (PDF)
An Overview Using a Case Study
(Sprache: Englisch)
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast...
sofort als Download lieferbar
Printausgabe 106.99 €
eBook (pdf) -10%
96.29 €
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Software Specification Methods / Formal Approaches to Computing and Information Technology (FACIT) (PDF)“
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast easily. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations.
Bibliographische Angaben
- 2012, 2001, 282 Seiten, Englisch
- Herausgegeben: Marc Frappier, Henri Habrias
- Verlag: Springer, London
- ISBN-10: 1447107012
- ISBN-13: 9781447107019
- 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: 39 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 "Software Specification Methods / Formal Approaches to Computing and Information Technology (FACIT)"
0 Gebrauchte Artikel zu „Software Specification Methods / Formal Approaches to Computing and Information Technology (FACIT)“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Software Specification Methods / Formal Approaches to Computing and Information Technology (FACIT)".
Kommentar verfassen