Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Developpement Formel Des Systemes Automatises

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

Olfa Mosbahi

Jazyk

Francúzština

Kniha Brožovaná

Libristo kód: 06957485

Nakladateľstvo Omniscriptum, február 2018

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

Libristo kód: 06957485

192 b

78.72 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

7.63 €

MACEDOINE 2014 PETIT FUTE Auzias d./labourdette j. & alter Kniha

Brožovaná

19.50 €

Sofia Aprende a Orar Lancaster Jeffrey Lancaster

Brožovaná

12.26 €

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

List

9.84 €

Mitgift Henning Ahrens

Pevná

18.49 €

Aquaman and the Rapunzel Plot Agnes Garbowska

Brožovaná

7.63 €

Advanced Welding Techniques S. Arungalai Vendan

Pevná

143.18 €

Resistance Band Workout for Seniors Francis Papun

Brožovaná

15.37 €

Reflections Venetia Porter

Brožovaná

28.15 €

When The World Was Ours LIZ KESSLER

Brožovaná

10.75 €

Political Leaders of Provincial Pennsylvania (1919) Isaac Sharpless

Brožovaná

27.24 €

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

Pevná

155.75 €

Aspect Pattern Astrology BRUNO HUBER

Brožovaná

22.21 €

Magic Ball of Wool Susanna Isern

Brožovaná

11.96 €

Five Stories Up Adam J Whitlatch

Brožovaná

6.63 €

On the Origin of Consciousness Scott D G Ventureyra

Pevná

40.71 €

Through Two Doors At Once Anil Ananthaswamy

Brožovaná

21.31 €

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

binding.

18.59 €

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

Brožovaná

53.99 €

Pasierb Juan Jose Saer Kniha

Brožovaná

10.55 €

World According to Cunk Philomena Cunk

Brožovaná

14.37 €

Paddle the East of England Jordan

Brožovaná

20.30 €

Sweet Obsession ROBERT KATEE

Brožovaná

13.97 €

SHAMANS BK OF EXTRAORDINARY PRACTICES STEVENS JOSE LUIS

Brožovaná

18.69 €

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.