Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Developpement Formel Des Systemes Automatises

Name: Developpement Formel Des Systemes Automatises
Brand: Omniscriptum
SKU: 06957485
Price: 31630 HUF
Availability: InStock
Author: Olfa Mosbahi
ISBN: 9783838174501

Olfa Mosbahi

Language

French

Book Paperback

Libristo code: 06957485

Publishers Omniscriptum, February 2018

Cet ouvrage présente une méthode de développement de systčmes automatisés basée sur les méthodes for... Full description

Libristo code: 06957485

210 b

31 630 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Tělo a duše. Druhá strana nemoci Albert Kreinheder

Paperback

3 729 Ft

On the Origin of Consciousness Scott D G Ventureyra

Hardback

18 032 Ft

The Liar of Red Valley Walter Goodwater

Paperback

3 789 Ft

Sofia Aprende a Orar Lancaster Jeffrey Lancaster

Paperback

5 279 Ft

Mitgift Henning Ahrens

Hardback

7 469 Ft

ATLES BASIC DE GEOGRAFÍA FÍSICA Tola

Paperback

10 093 Ft

Bez motoru do potíží středoamerických Petr Macourek

Sheet

3 744 Ft

Through Two Doors At Once Anil Ananthaswamy

Paperback

9 324 Ft

Aspect Pattern Astrology BRUNO HUBER

Paperback

9 839 Ft

Jeleń Pere David's

Toy

2 805 Ft

Advanced Welding Techniques S. Arungalai Vendan

Hardback

57 131 Ft

Resistance Band Workout for Seniors Francis Papun

Paperback

6 804 Ft

Reflections Venetia Porter

Paperback

10 293 Ft

When The World Was Ours LIZ KESSLER

Paperback

3 939 Ft

Five Stories Up Adam J Whitlatch

Paperback

2 715 Ft

Magic Ball of Wool Susanna Isern

Paperback

4 964 Ft

The Culture of 'The Culture': Utopian Processes in Iain M. Banks's Space Opera Series Joseph S. Norman

Hardback

60 436 Ft

Bite of Vengeance R.L. Caulder

Paperback

5 899 Ft

El paciente en formación en la artritis idiopática juvenil: Mohamed Ridha Guedjati

Paperback

21 685 Ft

Pasierb Juan Jose Saer Book

Paperback

3 679 Ft

World According to Cunk Philomena Cunk

Paperback

5 419 Ft

Paddle the East of England Jordan

Paperback

7 909 Ft

Sweet Obsession ROBERT KATEE

Paperback

6 204 Ft

SHAMANS BK OF EXTRAORDINARY PRACTICES STEVENS JOSE LUIS

Paperback

7 754 Ft

Cet ouvrage présente une méthode de développement de systčmes automatisés basée sur les méthodes formelles B et TLA+. Le développement par raffinement est au coeur de la méthode proposée. Un systčme automatisé est modélisé par deux composants, un contrôlé formé par le dispositif physique et son environnement, et un contrôleur pilotant ce dernier. La premičre contribution de cet ouvrage concerne la proposition d'une approche qui combine le B événementiel et le langage de modélisation TLA+ pour la vérification des propriétés de vivacité. Nous définissons une extension syntaxique et sémantique du B événementiel permettant d'exprimer des propriétés de vivacité. Dans la deuxičme contribution, nous proposons une approche de développement des systčmes automatisés en utilisant la technique de composition oů il s'agit de développer conjointement le contrôleur et le composant physique qu'il contrôle et appliquer le raffinement aussi bien sur le contrôleur que le contrôlé. La derničre contribution porte sur la définition, la preuve et l'utilisation d'un patron de raffinement pour les processus continus dans des systčmes de production manufacturičre.