Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) - Image 1

£63.54

Springer Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Name: Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 61.23 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 34 days • 34 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 34 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £61 (17 days, 50.0%)

Price range: £61 - £64

Price levels: 2 different prices over 34 days

Description

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematicalfoundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642440657
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 01 March 2014
Listed Since: 27 March 2014

Barcode

No barcode data available

Springer Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series, 6)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Algebraische Spezifikation: Eine Einführung

Springer - Logics of Specification Languages Monograph

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Formal Methods in Computer Science (Textbooks in Mathematics)

Specifying Software: A Hands-On Introduction

Springer Engineering Theories of Software Intensive Systems

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer - Formal Methods and Models for System Design Book

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Formal Concept Analysis: Mathematical Foundations

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

A Process Algebraic Approach to Software Architecture Design

A Formalization of Set Theory without Variables (Colloquium Publications)