Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

Mahr, Bernd
Ehrig, Hartmut

Paperback

Series: Monographs in Theoretical Computer Science. an Eatcs, Book 6

General ReferenceGeneral ComputersProgramming

ISBN10: 3642699642
ISBN13: 9783642699641
Publisher: Springer
Published: Nov 23 2011
Pages: 321
Weight: 1.19
Height: 0.71 Width: 6.69 Depth: 9.61
Language: English
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Also from

Ehrig, Hartmut

View All

Also in

General Reference

View All