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

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (78 days, 91.8%)

Price range: £39 - £42

Price levels: 2 different prices over 85 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

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)

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

Algorithmic Graph Theory

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

Illustrating Pascal

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

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

Computational Semantics with Functional Programming

Software Architectures: Advances and Applications

Composing Software Components: A Software-testing Perspective

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Applied Regression Models in the Social Sciences

An Introduction to Law (Law in Context)

Probabilistic Modelling

Computer Aided Software Engineering

Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)

Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)