FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems - Image 1

£144.44

Springer FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Name: FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Brand: Springer
Price: 144.44 GBP
Availability: InStock

Computer Science

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£144 today · all-time low £139 (Mar 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 639 days • 639 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 639 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £139 (314 days, 49.1%)

Price range: £139 - £180

Price levels: 6 different prices over 639 days

Description

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642427162
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 29 September 2014
Listed Since: 30 September 2014

Barcode

No barcode data available

Springer FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

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

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

Formal Methods for Industrial Critical Systems: A Survey of Applications

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)

Modern Formal Methods and Applications

Industrial Use of Formal Methods: Formal Verification

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

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

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

Science on Form: Proceedings of the First International Symposium for Science on Form, University of Tsukuba, Japan, November 26–30, 1985

Theory and Application of Multi-Formalism Modeling (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Industry 4.0: Trends in Management of Intelligent Manufacturing Systems (EAI/Springer Innovations in Communication and Computing)

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering)

Grundthemen der Literaturwissenschaft: Form

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

CRC Press Human Factors in Automotive Engineering and Technology

Human Factors in Automotive Engineering and Technology (Human Factors in Road and Rail Transport)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

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)

Sustainable Manufacturing in Industry 4.0: Pathways and Practices

Expressive Form: A Conceptual Approach to Computational Design