Formal Specification
Techniques and Applications
(Sprache: Englisch)
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and...
Leider schon ausverkauft
versandkostenfrei
Buch (Kartoniert)
53.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Specification “
Klappentext zu „Formal Specification “
Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to "demystify" them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.
Inhaltsverzeichnis zu „Formal Specification “
Introduction- Schema Language
- An Approach to Specification
- Specification for Fun
- A Specifiction for Clocks
- Reasoning About Specifications
- Specification of a Network Protocal
- Object Oriented Specification
- Specification of Safety
- An Overview of VDM
- Algebraic Approach to Specification
- Algebraic Specification in CLEAR
- A. Exercises on Reading Formal Specifications
- B. Exercises on Writing Formal Specifications
- C. The Mathematical Notation
- References
- Index.
Bibliographische Angaben
- Autor: Nimal Nissanke
- 2000, XX, 295 Seiten, Maße: 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 1852330023
- ISBN-13: 9781852330026
Sprache:
Englisch
Kommentar zu "Formal Specification"
0 Gebrauchte Artikel zu „Formal Specification“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Specification".
Kommentar verfassen