Modern Formal Methods and Applications - Image 1

£79.24

Springer Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer
Price: 79.24 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 17 days • 1 price levels

Days at Price

Price Analysis

Most common price: £79 (17 days, 100.0%)

Price range: £79 - £79

Price levels: 1 different prices over 17 days

Description

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool. Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods. This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 9048170796
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 19 October 2010
Listed Since: 14 June 2010

Barcode

No barcode data available

Springer Modern Formal Methods and Applications

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Springer - Formal Methods and Models for System Design Book

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

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)

Formal Methods: State of the Art and New Directions

Formal Methods in Manufacturing (Industrial Information Technology)

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer Mathematical Problems from Applied Logic I - Vol 4

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

System Analysis: Theory and Applications (Data and Knowledge in a Changing World)

System Analysis: Theory and Applications (Data and Knowledge in a Changing World)

Formal System Verification: State-of the-Art and Future Trends

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

Formal Concept Analysis: Foundations and Applications: 3626 (Lecture Notes in Computer Science, 3626)

Mathematical and Computational Approaches in Advancing Modern Science and Engineering

Modern Mathematical Tools and Techniques in Capturing Complexity (Understanding Complex Systems)

Practical Optimization Methods : With Mathematical Applications

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

Wiley Formal Methods Applied to Industrial Complex Systems

Formal Analysis for Natural Language Processing: A Handbook