£46.27

Red Globe Press Formal Software Development: From VDM to Java

Price data last checked 70 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£54.99 £45.40 £47.49 £49.58 £51.68 £53.77 £55.86 25 January 2026 30 January 2026 04 February 2026 09 February 2026 14 February 2026

Price Distribution

Price distribution over 21 days • 3 price levels

Days at Price
Current Price
4 days · current 7 days 10 days 0 3 5 8 10 £46 £53 £55 Days at Price

Price Analysis

Most common price: £55 (10 days, 47.6%)

Price range: £46 - £55

Price levels: 3 different prices over 21 days

Description
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout.

Product Specifications
Brand
Red Globe Press
Format
paperback
ASIN
0333992814
Category
Books > Subjects > Computing & Internet > Digital Lifestyle
Domain
Amazon UK
Release Date
09 September 2003
Listed Since
08 February 2007

Barcode

No barcode data available

Similar Products You Might Like

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
92% match

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.52 27 Feb 2026
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
92% match

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

Springer

£32.70 09 Apr 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
91% match

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

Springer

£48.61 21 Feb 2026
Model-Driven Software Development with UML and Java
91% match

Model-Driven Software Development with UML and Java

Cengage Learning EMEA

£47.01 25 Jan 2026
Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)
91% match

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science)

Springer

£139.36 12 Feb 2026
Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)
91% match

Domain Modeling-Based Software Engineering: A Formal Approach: 8 (The International Series on Asian Studies in Computer and Information Science, 8)

Springer

£144.39 11 Feb 2026
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
91% match

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.36 17 Feb 2026
Verification, Validation and Testing in Software Engineering
91% match

Verification, Validation and Testing in Software Engineering

IGI Global

£84.44 10 Feb 2026
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
91% match

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

Springer

£63.54 27 Feb 2026
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
91% match

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Springer

£60.27 15 Feb 2026
Specifying Software: A Hands-On Introduction
91% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£67.99 08 Mar 2026
Pearson Object Oriented Software Development Using Java
90% match

Pearson Object Oriented Software Development Using Java

PEARSON EDUCATION

£128.49 19 Apr 2026
Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)
90% match

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

Springer

£44.56 07 Mar 2026
Software Development, Design and Coding: With Patterns, Debugging, Unit Testing, and Refactoring
90% match

Software Development, Design and Coding: With Patterns, Debugging, Unit Testing, and Refactoring

Apress

£54.99 11 Jan 2026
Software Engineering
90% match

Software Engineering

Willford Press

£73.29 09 Mar 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
90% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£73.49 26 Feb 2026
Software Engineering
90% match

Software Engineering

J. Ross Publishing

£77.77 23 Feb 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
90% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£128.39 09 Mar 2026
Formal Methods: State of the Art and New Directions
90% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 06 Feb 2026
How to Engineer Software: A Model-Based Approach
90% match

How to Engineer Software: A Model-Based Approach

Wiley-Blackwell

£98.66 14 Feb 2026
Progressions and Innovations in Model-Driven Software Engineering (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
90% match

Progressions and Innovations in Model-Driven Software Engineering (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

IGI Global

£167.71 13 Jan 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
90% match

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

Springer

£164.84 20 Apr 2026
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
90% match

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

Springer

£146.45 14 Jan 2026
Fundamentals of Software Engineering
90% match

Fundamentals of Software Engineering

PEARSON EDUCATION

£185.99 18 Mar 2026