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 (Monographs in Theoretical Computer Science. An EATCS Series)
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Seller Inventory # 262610