Mohlo by se vám také líbit

Více informací o knize Algebraic Foundations of Systems Specification

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Algebraic Foundations of Systems Specification
• Autor: Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 616
• EAN: 9783642641510
• ISBN: 3642641512
• ID: 06873556
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 943 g
• Rozměry: 235 × 155 × 34 mm
• Datum vydání: 21. October 2011

Oblíbené z jiného soudku

---

---

---