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

£83.36

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

Name: Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
Brand: Springer
Price: 83.36 GBP
Availability: InStock

AI & Machine Learning

About as cheap as it gets. The only time it was cheaper was 7 months ago.

£83 today · all-time low £82 (Nov 2025) · usually the usual

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

Historical

Generating forecast...

Price Distribution

Price distribution over 474 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £86 (309 days, 65.2%)

Price range: £82 - £86

Price levels: 4 different prices over 474 days

Description

Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for techniques for making software cheaper and more reliable, two important but largely independent influences have been visible in recent years. These are: • Object Technology • Formal Methods First, it has become evident that objects are, and will remain an important concept in software. Experimental languages of the 1970's introduced various concepts of package, cluster, module, etc. giving concrete expression to the importance of modularity and encapsulation, the construction of software com ponents hiding their state representations and algorithmic mechanisms from users, exporting only those features (mainly the procedure calling mechanisms) which were needed in order to use the objects. This gives the software com ponents a level of abstraction, separating the view of what a module does for the system from the details of how it does them.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3540199772
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 26 April 1996
Listed Since: 16 December 2006

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 7 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings: 3586 (Lecture Notes in Computer Science, 3586)

Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance

What Every Engineer Should Know about Software Engineering

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Formal Methods: State of the Art and New Directions

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Foundations of Software Engineering

Software Quality Assurance: Consistency in the Face of Complexity and Change (Undergraduate Topics in Computer Science)

Feature-Oriented Software Product Lines: Concepts and Implementation

Engineering of Software: The Continuing Contributions of Leon J. Osterweil

Engineering of Software: The Continuing Contributions of Leon J. Osterweil

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers: Volume . (Systems on Silicon, Volume .)

Software Engineering: A Methodical Approach, 2nd Edition

Software Engineering: A Methodical Approach, 2nd Edition

Software Engineering Practice: A Case Study Approach (Chapman & Hall/CRC Innovations in Software Engineering and S)

Perspectives on the Future of Software Engineering: Essays in Honor of Dieter Rombach

Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Änderbarkeit durch Objektorientierung (Programm Angewandte Informatik)

Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML