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: 86.66 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 34 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £79 (12 days, 35.3%)

Price range: £79 - £87

Price levels: 4 different prices over 34 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))

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Formal Methods: State of the Art and New Directions

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

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

Wiley Formal Methods Applied to Industrial Complex Systems

Formal Methods in Manufacturing (Industrial Information Technology)

Integrating Research and Practice in Software Engineering: 851 (Studies in Computational Intelligence, 851)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Springer - Formal Methods and Models for System Design Book

Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))

Systems, Models and Measures (Formal Approaches to Computing and Information Technology (FACIT))

Formal Software Development: From VDM to Java

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

Formal Methods in Computer Science (Textbooks in Mathematics)

Springer Program Development by Refinement - B Method Book

Action Research in Software Engineering: Theory and Applications

Modern Formal Methods and Applications

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Formal Methods in Computer Science (Textbooks in Mathematics)

The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)

The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series)

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

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

Software Engineering: A Methodical Approach, 2nd Edition