£41.00

It has never been this cheap. We have no record of a lower price.

£41 today · cheaper than every other day in the last 3 months

Editions Universitaires Europeennes Motifs formels d'architectures pour la sûreté de fonctionnement: Introduction aux safety patterns

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 70 days · 70 data points (no recent data)

Historical
Generating forecast…
£41.00 £38.95 £39.77 £40.59 £41.41 £42.23 £43.05 24 July 2026 10 August 2026 27 August 2026 13 September 2026 01 October 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 70 days • 1 price levels

Days at Price
70 days 0 18 35 53 70 £41 Days at Price

Price Analysis

Most common price: £41 (70 days, 100.0%)

Price range: £41 - £41

Price levels: 1 different prices over 70 days

Description

Ce livre propose des méthodes assistant la modélisation et l'évaluation de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux d'architectures de systèmes correspondant à des éléments de sûreté. Le principe est celui des "patrons de conception" développés en génie logiciel. Ces patrons peuvent être formalisés à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant en général dynamiques, nous avons choisi d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués d'une partie en AltaRica et d'une partie de propriétés. Ce type de modélisation mixte possède plusieurs intérêts, notamment lors de la conception en phase amont d'architectures de systèmes où il est possible de manipuler à la fois des parties clairement définies d'un système et des spécifications. Elle a également pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 June 2010
Listed Since
05 July 2010

Barcode

No barcode data available

Similar Products You Might Like

Systèmes phtoprotecteurs, vêtements, verres, produits solaires (Omn.Univ.Europ.)
98% match

Systèmes phtoprotecteurs, vêtements, verres, produits solaires (Omn.Univ.Europ.)

ÉDITIONS UNIVERSITAIRES EUROPÉENNES

£44.00 26 Sep 2026
Les règles de conflit de lois confrontées au marché intérieur: Étude en droit international privé européen du travail (Logiques Juridiques)
98% match

Les règles de conflit de lois confrontées au marché intérieur: Étude en droit international privé européen du travail (Logiques Juridiques)

L'HARMATTAN

£46.75 30 Sep 2026
Les cas d'ouverture à référé en Droit camerounais
98% match

Les cas d'ouverture à référé en Droit camerounais

VDM Verlag

£43.00 30 Sep 2026
Geotechnische Nachweise nach DIN 1054: Einführung in Beispielen (Bauingenieur–Praxis)
98% match

Geotechnische Nachweise nach DIN 1054: Einführung in Beispielen (Bauingenieur–Praxis)

Ernst & Sohn

£44.23 30 Sep 2026
Environnement et développement durable au Niger
98% match

Environnement et développement durable au Niger

UNIV EUROPEENNE

£48.00 22 Sep 2026
Pratique réflexive en IFSI
98% match

Pratique réflexive en IFSI

VDM Verlag

£49.00 18 Sep 2026
Contrôle d'attitude basée sur l'observation des perturbations
98% match

Contrôle d'attitude basée sur l'observation des perturbations

ÉDITIONS UNIVERSITAIRES EUROPÉENNES

£45.00 01 Oct 2026
Abstraction Clusters to Understand Digital Development: Introducing the SETA Model
98% match

Abstraction Clusters to Understand Digital Development: Introducing the SETA Model

GRIN Verlag

£41.50 23 Sep 2026
INTRODUCCIÓN A LA INGENIERÍA AEROESPACIAL
98% match

INTRODUCCIÓN A LA INGENIERÍA AEROESPACIAL

GARCETA GRUPO EDITORIAL

£45.79 25 Sep 2026
Placement du programmes polyédrique sur architecture multicœurs: Les programmes polyédriques et les architectures multicoeurs
98% match

Placement du programmes polyédrique sur architecture multicœurs: Les programmes polyédriques et les architectures multicoeurs

UNIV EUROPEENNE

£48.00 01 Oct 2026
Systemtheorie am Beispiel der Organisation
98% match

Systemtheorie am Beispiel der Organisation

diplom.de

£48.00 27 Sep 2026
Tecnicas de analisis de datos en investigacion de mercados / Data Analysis Techniques in Market Research (Economía y Empresa)
98% match

Tecnicas de analisis de datos en investigacion de mercados / Data Analysis Techniques in Market Research (Economía y Empresa)

Ediciones Pirámide

£47.78 11 Sep 2026
Fashion, Identity, and Power in Modern Asia (East Asian Popular Culture)
98% match

Fashion, Identity, and Power in Modern Asia (East Asian Popular Culture)

MACMILLAN

£92.82 24 Sep 2026
Introduction to Psychology with Infotrac: Gateways to Mind and Behavior
98% match

Introduction to Psychology with Infotrac: Gateways to Mind and Behavior

WADSWORTH

£42.99 23 Sep 2026
Identification des structures et calcul des trajectoires: La technique de décomposition en modes orthogonaux propres
98% match

Identification des structures et calcul des trajectoires: La technique de décomposition en modes orthogonaux propres

UNIV EUROPEENNE

£43.00 02 Oct 2026
Towards A Liveable And Sustainable Urban Environment: Eco-Cities In East Asia
98% match

Towards A Liveable And Sustainable Urban Environment: Eco-Cities In East Asia

World Scientific Publishing Company

£42.84 22 Sep 2026
Emerging Trends in Business: An Interdisciplinary Approach
98% match

Emerging Trends in Business: An Interdisciplinary Approach

Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften

£43.37 27 Sep 2026
Customer Evaluations of Service Failure and Recovery Encounters
98% match

Customer Evaluations of Service Failure and Recovery Encounters

diplom.de

£48.00 26 Sep 2026
Selbstgesteuertes Lernen mit Web 2.0: Beispiele aus der beruflichen Bildung
98% match

Selbstgesteuertes Lernen mit Web 2.0: Beispiele aus der beruflichen Bildung

Diplomica Verlag

£49.90 26 Sep 2026
Formirovanie professional'no-orientirovannoy kreativnosti spetsialistov
98% match

Formirovanie professional'no-orientirovannoy kreativnosti spetsialistov

LAP Lambert Academic Publishing

£42.00 25 Sep 2026
Ergebnisorientierte Leistungsvereinbarungen: im Technischen Gebäudemanagement- Bewertung von Service Level Agreements und Key Performance Indicators
98% match

Ergebnisorientierte Leistungsvereinbarungen: im Technischen Gebäudemanagement- Bewertung von Service Level Agreements und Key Performance Indicators

VDM Verlag

£47.00 29 Sep 2026
Prévention des risques sexuels chez les jeunes à Ouagadougou
98% match

Prévention des risques sexuels chez les jeunes à Ouagadougou

UNIV EUROPEENNE

£44.00 30 Sep 2026
Récupération des déperditions d'énergie dans les complexes industriels
98% match

Récupération des déperditions d'énergie dans les complexes industriels

ÉDITIONS UNIVERSITAIRES EUROPÉENNES

£49.00 22 Sep 2026
Softwarevalidierung in der Medizintechnik: Aspekte, Entscheidungskriterien, Regulationshintergründe
98% match

Softwarevalidierung in der Medizintechnik: Aspekte, Entscheidungskriterien, Regulationshintergründe

VDM Verlag

£42.00 01 Oct 2026