Mohlo by sa vám tiež páčiť

Viac informácií o knihe Algebraic Foundations of Systems Specification

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Algebraic Foundations of Systems Specification
• Autor: Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 616
• EAN: 9783642641510
• ISBN: 3642641512
• ID: 06873556
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 943 g
• Rozmery: 235 × 155 × 34 mm
• Dátum vydania: 21. October 2011

Obľúbené z iného súdka

---

---

---