Algebraic Foundations of Systems Specification
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 pr…
Mehr
CHF 100.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Kreowski, Hans-Jörg (Hrsg.) / Krieg-Brückner, Bernd (Hrsg.)
- ISBN: 978-3-642-59851-7
- EAN: 9783642598517
- Produktnummer: 37280150
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 616 S.
- Plattform: PDF
- Auflage: 1999
7 weitere Werke von Egidio (Hrsg.) Astesiano:
Bewertungen
Anmelden