Formal Specification and Design

€ 79,00
+ € 10,29 Versand

Formal Specification and Design

  • Marke: Unbranded
Verkauft von:

Formal Specification and Design

  • Marke: Unbranded

€ 79,00

Auf Lager
+ € 10,29 Versand

14-Tage-Rückgabepolitik

Verkauft von:

€ 79,00

Auf Lager
+ € 10,29 Versand

14-Tage-Rückgabepolitik

Zahlungsmethoden:

Beschreibung

Formal Specification and Design

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 a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail with many examples including: set representation a display device an INGRES-like database system and a line editor. Fundamental techniques such as initial algebra semantics loose semantics partial functions hiding sharing predicate and dynamic logic abstraction functions representation of invariants and black-box correctness are also presented. More advanced ideas for example Horn logic and large systems are given in the final part. 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. Language: English
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: L. M. G. Feijs
  • Format: Paperback
  • Verlag / Label: Cambridge University Press
  • Sprache: English
  • Erscheinungsdatum: 2005/11/10
  • Seitenzahl: 352
  • Fruugo-ID: 337411137-741046876
  • ISBN: 9780521435925

Lieferung

Versand innerhalb von 4 Tagen

  • STANDARD: € 10,29 - Lieferung zwischen Do. 16 Juli 2026–Fr. 17 Juli 2026

Versand von Vereinigtes Königreich.

Rückgabe & Stornierung

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgaberichtlinie ansehen

Stornierung

Sie haben das Recht, innerhalb von 14 Tagen nach Erhalt Ihrer Bestellung ohne Angabe von Gründen von Ihrem Kauf zurückzutreten. Um Ihr Widerrufsrecht einfach auszuüben, können Sie den Link „Meine Bestellung stornieren“ in der Fußzeile jeder Seite oder in Ihrem Fruugo-Konto unter „Bestellungen“ nutzen. Sobald Sie von Ihrem Widerrufsrecht Gebrauch gemacht haben, senden wir Ihnen eine Bestätigungs-E-Mail. Falls Ihre Bestellung bereits vom Händler versandt wurde, erhalten Sie von uns die notwendigen Rücksendeanweisungen, um eine schnelle Bearbeitung Ihrer Rückerstattung zu gewährleisten.

Vollständige Stornierungsbedingungen ansehen