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

£143.14

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

Computer Science

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

£143 today · all-time low £143 (May 2026) · usually £145

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 75 days · 75 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 75 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £144 (28 days, 37.3%)

Price range: £143 - £145

Price levels: 3 different prices over 75 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 2 months 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: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Modern Formal Methods and 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)

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings: 4085 (Lecture Notes in Computer Science, 4085)

Modern Formal Methods and Applications

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

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

The Foreman on the Assembly Line: 11 (Routledge Library Editions: The Automobile Industry)

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

Formal Methods in Manufacturing (Industrial Information Technology)

Formalism and Beyond: On the Nature of Mathematical Discourse: 23 (Logos, 23)

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

Wiley Formal Methods Applied to Industrial Complex Systems

Urban Formalism: The Work of City Reading (Polis: Fordham Series in Urban Studies)

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

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