Algebraic Foundations of Systems Specification / IFIP State-of-the-Art Reports (PDF)
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Algebraic Foundations of Systems Specification / IFIP State-of-the-Art Reports (PDF)“
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.
Bibliographische Angaben
- 2012, 1999, 616 Seiten, Englisch
- Herausgegeben: Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 364259851X
- ISBN-13: 9783642598517
- Erscheinungsdatum: 06.12.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 66 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Algebraic Foundations of Systems Specification / IFIP State-of-the-Art Reports"
Schreiben Sie einen Kommentar zu "Algebraic Foundations of Systems Specification / IFIP State-of-the-Art Reports".
Kommentar verfassen