Free delivery for orders over 69.99€

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 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Developpement Formel Des Systemes Automatises

Name: Developpement Formel Des Systemes Automatises
Brand: Omniscriptum
SKU: 06957485
Price: 83.35 EUR
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

203 b

83.35 €

163.03 лв

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

10.69 € 20.91 лв

On the Origin of Consciousness Scott D G Ventureyra

Hardback

44.63 € 87.29 лв

The Liar of Red Valley Walter Goodwater

Paperback

10.33 € 20.21 лв

Dimensions Francois (Illustrator) Gautier

Paperback

12.54 € 24.53 лв

Sofia Aprende a Orar Lancaster Jeffrey Lancaster

Paperback

13.26 € 25.94 лв

Mitgift Henning Ahrens

Hardback

19.65 € 38.43 лв

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

Sheet

10.74 € 21.01 лв

Through Two Doors At Once Anil Ananthaswamy

Paperback

23.24 € 45.45 лв

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

Hardback

172.27 € 336.92 лв

Five Stories Up Adam J Whitlatch

Paperback

6.89 € 13.47 лв

Advanced Welding Techniques S. Arungalai Vendan

Hardback

150.98 € 295.29 лв

Resistance Band Workout for Seniors Francis Papun

Paperback

16.86 € 32.98 лв

Reflections Venetia Porter

Paperback

28.02 € 54.81 лв

When The World Was Ours LIZ KESSLER

Paperback

11.77 € 23.02 лв

Magic Ball of Wool Susanna Isern

Paperback

13.11 € 25.64 лв

Aspect Pattern Astrology BRUNO HUBER

Paperback

24.37 € 47.66 лв

Posca sada popisovačů PC-5M - Ocean 1,8 - 2,5 mm (mix mořských tónů 8 ks)

binding.

22.67 € 44.34 лв

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

Paperback

57.20 € 111.88 лв

Pasierb Juan Jose Saer Book

Paperback

10.59 € 20.71 лв

World According to Cunk Philomena Cunk

Paperback

14.75 € 28.86 лв

Paddle the East of England Jordan

Paperback

21.54 € 42.13 лв

Sweet Obsession ROBERT KATEE

Paperback

15.37 € 30.06 лв

SHAMANS BK OF EXTRAORDINARY PRACTICES STEVENS JOSE LUIS

Paperback

21.59 € 42.23 лв

Afirmacje szczesliwego malzenstwa - wersja dla mezczyzn Maxx-audio

MP3

2.52 € 4.92 лв

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.