Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Image 1

£47.89

Cambridge University Press Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

Name: Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Brand: Cambridge University Press
Price: 47.89 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£48 today · previous high £48 · all-time low £47

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 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (36 days, 94.7%)

Price range: £47 - £48

Price levels: 2 different prices over 38 days

Description

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521435927
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 August 2008
Listed Since: 04 January 2007

Barcode

No barcode data available

Cambridge University Press Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)

Springer - Logics of Specification Languages Monograph

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

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

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Understanding Programming Languages

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)

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

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Formal Methods for Industrial Critical Systems: A Survey of Applications

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

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

Transitions and Trees: An Introduction to Structural Operational Semantics

Formal Methods, Informally: How to Write Programs That Work

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

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

A Programming Approach to Computability (Monographs in Computer Science)

Formal Language: A Practical Introduction

Springer - Formal Methods and Models for System Design Book