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 (27 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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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
Algebra, Meaning, and Computation
Language: en
Pages: 679
Authors: Kokichi Futatsugi
Categories: Computers
Type: BOOK - Published: 2006-06-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by