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
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
Algebraic and Logic Programming
Language: en
Pages: 308
Authors: Michael Hanus
Categories: Computers
Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Worksho
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
Mathematical Foundations of Computer Science 1986
Language: en
Pages: 810
Authors: Jozef Gruska
Categories: Computers
Type: BOOK - Published: 1986-08-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK