Specifying Software: A Hands-On Introduction - Image 1

£42.00

Cambridge University Press Specifying Software: A Hands-On Introduction

Name: Specifying Software: A Hands-On Introduction
Brand: Cambridge University Press
Price: 42.0 GBP
Availability: InStock

Languages & Tools

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

£42 today · previous high £42 · all-time low £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 39 days · 39 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 39 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (25 days, 64.1%)

Price range: £39 - £42

Price levels: 2 different prices over 39 days

Description

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521004012
Category: Books > Subjects > Computing & Internet > Programming > Languages & Tools
Domain: Amazon UK
Release Date: 25 October 2010
Listed Since: 26 September 2005

Barcode

No barcode data available

Cambridge University Press Specifying Software: A Hands-On Introduction

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

Discrete Maths Software Engineers: An Introduction for Software Engineers

Systematic Program Design: From Clarity to Efficiency

Model-Based Software Testing and Analysis with C#

Modelling Systems: Practical Tools and Techniques in Software Development

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Algorithms on Strings

Programming with Higher-Order Logic

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)

Concise Guide to Software Testing (Undergraduate Topics in Computer Science)

Programming Languages: Design and Implementation (International Edition)

UML by Example (Sigs: Advances in Object Technology S)

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Best Practice Software-Engineering: Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

An Integrated Approach to Software Engineering (Texts in Computer Science)

Algorithmic Graph Theory

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Illustrating Pascal

Communicative Syllabus Design: A Sociolinguistic Model for Designing the Content of Purpose-Specific Language Programmes

The Patterns Handbook: Techniques, Strategies, And Applications: 13 (SIGS Reference Library, Series Number 13)

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Computational Semantics with Functional Programming