£80.29

Techniques industrielles de modélisation formelle pour le transport

Introduction to Programming

Price data last checked 19 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£80 today · previous high £80 · all-time low £76

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

Historical

Generating forecast…

Price Distribution

Price distribution over 72 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (55 days, 76.4%)

Price range: £76 - £80

Price levels: 3 different prices over 72 days

Description

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première mise en oeuvre des logiciels au sein d'un équipement, la RATP a mis en oeuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en oeuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret).

Product Specifications

Format: paperback
ASIN: 2746232308
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 27 September 2011
Listed Since: 04 August 2011

Barcode

No barcode data available

Techniques industrielles de modélisation formelle pour le transport

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modélisation des systèmes complexes : application à la conception automobile: application à la conception automobile

Transformations, assemblages et traitements des plastiques

Micromécanique des matériaux granulaires

Écosystèmes d'affaires et PME

Informatique graphique et rendu

Formulation des produits et matériaux : concepts et applications: Concepts et applications

La recherche d'information en entreprise

Propriétés et applications des céramiques

Modélisation des systèmes vivants: De la cellule à l'écosystème

Incertitudes, optimisation et fiabilité des structures

Les bétons auto-plaçants

New Technological Solutions, Research Methods, Simulation and Analytical Models That Support the Development of Modern Transport Systems

Le management des risques des entreprises et de gestion de projet

Concepts et méthodes pour l'aide à la décision 1 : outils de modélisation: Volume 1, Outils de modélisation

CAO et simulation en mécanique

Modélisation, estimation et filtrage optimal en traitement du signal

Paliers hydrodynamiques 1: équations, modèles numériques isotHERMES SCIENCE et lubrification mixte

Le projet PLM par l'expérience

Mécanique des interfaces solides

Métrologie appliquée aux sciences et technologies 2 : MMT, optique, rugosité, essais

Les réseaux domiciliaires et l'IPTV

Automatique pour la gestion des ressources en eau

Transport Mediated by Electrified Interfaces

Métaheuristiques pour l'ordonnancement monocritère des ateliers de production