Synopsis
The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects: fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which arethe basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense ofconcepts, which are introduced on a conceptual level andformalized in mathematical terms. The book is equally suitableas a text book for graduatecourses and as a reference for researchers and systemdevelopers.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Fundamentals of Algebraic Specification 1: Equations...
Stock Image
Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
Published by
Berlin ; Heidelberg : Springer, 1985
ISBN 10: 3540137181
ISBN 13: 9783540137184
Used
Hardcover
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
Seller rating 4 out of 5 stars
Condition: gut. XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch. Seller Inventory # B274-003
Stock Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Seller rating 4 out of 5 stars
Condition: Very Good. Seller Inventory # 262610
Seller Image
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 321 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 0,0 x 0,0 x 0,0 cm, Gebundene Ausgabe. Seller Inventory # 368200