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

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
Fundamentals of Algebraic Specification 2
Language: en
Pages: 429
Authors: Hartmut Ehrig
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - 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
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
CAFE: An Industrial-Strength Algebraic Formal Method
Language: en
Pages: 209
Authors: K. Futatsugi
Categories: Computers
Type: BOOK - Published: 2000-10-06 - Publisher: Elsevier

DOWNLOAD EBOOK

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. Th
Algebraic Methods in Semantics
Language: en
Pages: 664
Authors: M. Nivat
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: CUP Archive

DOWNLOAD EBOOK

This book, which contains contributions from leading researchers in France, USA and Great Britain, gives detailed accounts of a variety of methods for describin