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

£83.52

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

Name: Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Brand: Springer
Price: 83.52 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£84 today · usual range £0–£0 · best ever £36

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

Historical

Generating forecast...

Price Distribution

Price distribution over 629 days • 3 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £36-48 (439 days, 69.8%)

Price range: £36 - £97

Price levels: 3 price ranges over 629 days

Description

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 1852336404
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 17 September 1999
Listed Since: 12 January 2007

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

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 Software Development: From VDM to Java

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Human Factors in Global Software Engineering (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Human Factors in Global Software Engineering

Formal Methods: State of the Art and New Directions

How to Engineer Software: A Model-Based Approach

Software Engineering Handbook

Text Book on Software Engineering Tools and Practices

Metrics For Software Conceptual Models

Relating System Quality and Software Architecture

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development): 2

Trends and Applications in Software Engineering: Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018): 865 (Advances in Intelligent Systems and Computing, 865)

Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Feature-Oriented Software Product Lines: Concepts and Implementation

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)

Formal Methods for Industrial Critical Systems: A Survey of Applications

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