Fundamentals of Algebraic Specification 1

Fundamentals of Algebraic Specification 1
Author :
Publisher : Springer Science & Business Media
Total Pages : 333
Release :
ISBN-10 : 9783642699627
ISBN-13 : 3642699626
Rating : 4/5 (626 Downloads)

Book Synopsis Fundamentals of Algebraic Specification 1 by : Hartmut Ehrig

Download or read book Fundamentals of Algebraic Specification 1 written by Hartmut Ehrig and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Fundamentals of Algebraic Specification 1 Related Books

Fundamentals of Algebraic Specification 1
Language: en
Pages: 333
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 carefull
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Fundamentals of Algebraic Specification 2
Language: en
Pages: 460
Authors: Hartmut Ehrig
Categories: Mathematics
Type: BOOK - Published: 1989-12-28 - Publisher: Springer Science & Business Media

GET EBOOK

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Language: en
Pages: 255
Authors: Ingo Claben
Categories: Computers
Type: BOOK - Published: 1993-11-30 - Publisher: World Scientific Publishing Company

GET EBOOK

The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Recent Trends in Data Type Specification
Language: en
Pages: 360
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 1993-01-29 - Publisher: Springer Science & Business Media

GET EBOOK

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve