Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Formal Specification and Design als Buch
PORTO-
FREI

Formal Specification and Design

Pbk Version. Sprache: Englisch.
Buch (kartoniert)
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the uni … weiterlesen
Buch

66,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei Wochen
Formal Specification and Design als Buch

Produktdetails

Titel: Formal Specification and Design
Autor/en: L. M. G. Feijs, H. B. M. Jonkers, Feijs L. M. G.

ISBN: 0521435927
EAN: 9780521435925
Pbk Version.
Sprache: Englisch.
CAMBRIDGE UNIV PR

September 2005 - kartoniert - 352 Seiten

Beschreibung

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD. The kernel language is explained in detail, with many examples. Fundamental and advanced methods are also presented. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

Inhaltsverzeichnis

Part I. Algebraic Specification: 1. Introducing the basic concepts; 2. Setting up algebraic specifications; 3. Structuring algebraic specifications; 4. Implementing algebraic specifications; Part II. State-Based Specification: 5. From algebras to states; 6. Setting up state-based specification; 7. Structuring state-based specification; 8. Implementing state-based specification; Part III. Advanced Techniques: 9. Theoretical topics; 10. Additional language constructs; 11. Towards large systems; Bibliography; Appendices; Index.

Pressestimmen

..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in the COLD-K notation." H.I. Kilov, Computing Reviews

Mehr aus dieser Reihe

zurück
The Hungarian Model: Markets and Planning in a Socialist Economy
Buch (gebunden)
von Xavier Richet, R…
Temporal Logics in Computer Science: Finite-State Systems
Buch (gebunden)
von Stephane Demri, …
Nominal Sets: Names and Symmetry in Computer Science
Buch (gebunden)
von Andrew M. Pitts
Communications and Power: Propaganda and the Press in the Indian National Struggle, 1920 1947
Buch (gebunden)
von Milton Israel
Rippling: Meta-Level Guidance for Mathematical Reasoning
Buch (gebunden)
von Alan Bundy, Davi…
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
Artikel mit dem Hinweis "Pünktlich zum Fest" werden an Lieferadressen innerhalb Deutschlands rechtzeitig zum 24.12.2018 geliefert.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.