Specification In B: An Introduction Using The B Toolkit (PDF)
(Sprache: Englisch)
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being...
Leider schon ausverkauft
eBook
129.99 €
64 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Specification In B: An Introduction Using The B Toolkit (PDF)“
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
Bibliographische Angaben
- Autoren: Kevin Lano , Howard Haughton
- 1996, 252 Seiten, Englisch
- Verlag: World Scientific Publishing Company
- ISBN-10: 1848161069
- ISBN-13: 9781848161061
- Erscheinungsdatum: 03.04.1996
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 70 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 "Specification In B: An Introduction Using The B Toolkit"
0 Gebrauchte Artikel zu „Specification In B: An Introduction Using The B Toolkit“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Specification In B: An Introduction Using The B Toolkit".
Kommentar verfassen