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

£42.08

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

Name: Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Brand: Springer
Price: 42.08 GBP
Availability: InStock

Comics & Graphic Novels

This is the usual price. Wait for it to drop, or tell us your number.

£42 today · usual range £0–£0 · best ever £39

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 622 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (324 days, 52.1%)

Price range: £39 - £45

Price levels: 3 different prices over 622 days

Description

The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642641512
Category: Books > Subjects > Comics & Graphic Novels
Domain: Amazon UK
Release Date: 21 October 2011
Listed Since: 12 July 2012

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Foundations of Algebraic Specification and Formal 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)

Algebraische Spezifikation: Eine Einführung

Mathematics for Social Sciences and Arts: Algebraic Modeling (Mathematics in Mind)

Bibliography on Abstract Data Types: 68 (Informatik-Fachberichte, 68)

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)

Algebraic Systems: 192 (Grundlehren der mathematischen Wissenschaften, 192)

Representations of Algebraic Groups (Mathematical Surveys & Monographs)

A History of Abstract Algebra

The Concise Handbook of Algebra

Bringing Out the Algebraic Character of Arithmetic: From Children's Ideas To Classroom Practice (Studies in Mathematical Thinking and Learning Series)

Abstract Algebra

Algebras and Orders: 389 (Nato Science Series C:, 389)

Algebras and Orders: 389 (Nato Science Series C:, 389)

Universal Algebra for Computer Scientists: 25 (Monographs in Theoretical Computer Science. An EATCS Series, 25)

Essential Student Algebra: Volume Two: Matrices and Vector Spaces: 002

A Graduate Course in Algebra - Volume 1

Abstract Algebra: An Integrated Approach (Pure and Applied Undergraduate Texts)

Algebra (AMS Chelsea Publishing)

Categorical, Homological and Combinatorial Methods in Algebra (Contemporary Mathematics)