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
Semantics and Algebraic Specification
Language: en
Pages: 418
Authors: Jens Palsberg
Categories: Computers
Type: BOOK - Published: 2009-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

proceedings of the symposium. Somecontributorswereunabletoattendthe event.
Algebraic Approaches to Program Semantics
Language: en
Pages: 358
Authors: Ernest G. Manes
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines
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
Software Engineering with OBJ
Language: en
Pages: 448
Authors: Joseph A. Goguen
Categories: Computers
Type: BOOK - Published: 2000-04-30 - Publisher: Taylor & Francis US

DOWNLOAD EBOOK

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As