Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Developpement Formel Des Systemes Automatises

Limba francezăfranceză
Carte Carte broșată
Carte Developpement Formel Des Systemes Automatises Olfa Mosbahi
Codul Libristo: 06957485
Editura Omniscriptum, februarie 2018
Cet ouvrage présente une méthode de développement de systčmes automatisés basée sur les méthodes for... Descrierea completă
? points 203 b
445.53 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Bez motoru do potíží středoamerických Petr Macourek / Carte Foaie
common.buy 54.45 lei
Mitgift Henning Ahrens / Carte Copertă tare
common.buy 105.00 lei
Aquaman and the Rapunzel Plot Agnes Garbowska / Carte Carte broșată
common.buy 44.40 lei
Sofia Aprende a Orar Lancaster Jeffrey Lancaster / Carte Carte broșată
common.buy 74.65 lei
Advanced Welding Techniques S. Arungalai Vendan / Carte Copertă tare
common.buy 806.87 lei
Resistance Band Workout for Seniors Francis Papun / Carte Carte broșată
common.buy 95.55 lei
Reflections Venetia Porter / Carte Carte broșată
common.buy 149.81 lei
Top
When The World Was Ours LIZ KESSLER / Carte Carte broșată
common.buy 57.37 lei
The Culture of 'The Culture': Utopian Processes in Iain M. Banks's Space Opera Series Joseph S. Norman / Carte Copertă tare
common.buy 879.82 lei
Top
Aspect Pattern Astrology BRUNO HUBER / Carte Carte broșată
common.buy 138.35 lei
Magic Ball of Wool Susanna Isern / Carte Carte broșată
common.buy 70.03 lei
Five Stories Up Adam J Whitlatch / Carte Carte broșată
common.buy 38.48 lei
Jeleń Pere David's / Joc / Jucărie Jucărie
common.buy 40.89 lei
On the Origin of Consciousness Scott D G Ventureyra / Carte Copertă tare
common.buy 253.51 lei
Through Two Doors At Once Anil Ananthaswamy / Carte Carte broșată
common.buy 131.32 lei
ATLES BASIC DE GEOGRAFÍA FÍSICA Tola / Carte Carte broșată
common.buy 147.00 lei
Posca sada popisovačů PC-5M - Ocean 1,8 - 2,5 mm (mix mořských tónů 8 ks) / Carte binding.
common.buy 121.27 lei
Pasierb Juan Jose Saer Carte Carte broșată
common.buy 53.55 lei
Top
World According to Cunk Philomena Cunk / Carte Carte broșată
common.buy 78.87 lei
Paddle the East of England Jordan / Carte Carte broșată
common.buy 115.14 lei
Top
Sweet Obsession ROBERT KATEE / Carte Carte broșată
common.buy 87.21 lei
SHAMANS BK OF EXTRAORDINARY PRACTICES STEVENS JOSE LUIS / Carte Carte broșată
common.buy 108.91 lei
Afirmacje szczesliwego malzenstwa - wersja dla mezczyzn Maxx-audio / Audiobook MP3
common.buy 12.75 lei
Logistics and Supply Chain Management Martin Christopher / E-book Adobe ePub DRM
common.buy 321.63 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Developpement Formel Des Systemes Automatises
Autor Olfa Mosbahi
Limba franceză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 320
EAN 9783838174501
ISBN 383817450X
Codul Libristo 06957485
Editura Omniscriptum
Greutatea 472
Dimensiuni 152 x 229 x 18

Categorii

Biography, Literature & Literary studies > Literature: history & criticism > Literary studies: general
Computing & Information Technology > Information technology: general issues
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Fonctionnalisation de Nanotubes de Carbone Et Applications Cécilia Ménard-Moyon / Carte Carte broșată
common.buy 445.53 lei
Tracage Des Constructions Metalliques Et de Chaudronnerie, Cours Pratique. Texte BOTTIEAU-C / Carte Carte broșată
common.buy 105.00 lei
Edgard Palace Edgard Bovier / Carte Copertă tare
common.buy 310.38 lei
Versailles, côté ville, côté jardins - Guide historique et artistique Alexandre Maral / Carte Carte broșată
common.buy 152.93 lei
Une Mission En Abyssinie Et Dans Le Mer Rouge 23 Octobre 1859-7 Mai 1860 (1884) Stanislas Jules Marie Russel / Carte Carte broșată
common.buy 191.81 lei
Organt: Poeme, En Vingt Chants (1789) Louis Antoine De Saint Just / Carte Carte broșată
common.buy 186.49 lei
Les cinq livres du King Thiellement / Carte Carte broșată
common.buy 115.95 lei
Quelques pas hors de l'éternité Reutenauer / Carte Carte broșată
common.buy 91.33 lei
Paris A Travers Les Siecles: Histoire Nationale de Paris. T. 1 (Ed.1882-1889) Henri Gourdon De Genouillac / Carte Carte broșată
common.buy 178.15 lei
Winckelmann et l'œuvre d'art Colonna / Carte Carte broșată
common.buy 250.90 lei
Top
Le modélisme de mode - Volume 2 Gilewska / Carte Carte broșată
common.buy 238.74 lei
Saccage ce carnet Keri Smith / Carte Carte broșată
common.buy 127.81 lei
Top
A Year of Deep Listening LOVELESS STEPHANIE / Carte Carte broșată
common.buy 155.14 lei
Dimensions Francois (Illustrator) Gautier / Carte Carte broșată
common.buy 67.01 lei
Bite of Vengeance R.L. Caulder / Carte Carte broșată
common.buy 82.79 lei
Der Prozess von Franz Kafka (Lektürehilfe) derQuerleser / Carte Carte broșată
common.buy 76.46 lei
Genetic Algorithms in Elixir Sean Moriarity / E-book Adobe ePub DRM
common.buy 158.86 lei
Girl and the Tiger Paul Rosolie / Audiobook MP3
common.buy 123.63 lei
Tesla Frank O. Hrachowy / Carte Copertă tare
common.buy 177.54 lei
Learning to manage chronic adrenal insufficiency in children Lamia Gargouri / Carte Carte broșată
common.buy 200.55 lei
Curând
The Liar of Red Valley Walter Goodwater / Carte Carte broșată
common.buy 55.16 lei
Th Secrets of San Leyre Miriam Matthews / Carte Carte broșată
common.buy 78.37 lei
Art of Preaching Siegfried (University of Pennsylvania) Wenzel / Carte Copertă tare
common.buy 408.86 lei
My Five Senses Aliki / Carte Copertă tare
common.buy 91.63 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?