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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Contribution La Conception de Syst mes Temps-R el

Limba francezăfranceză
Carte Carte broșată
Carte Contribution La Conception de Syst mes Temps-R el Christophe Lohr
Codul Libristo: 06996606
Editura Omniscriptum, februarie 2018
Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formell... Descrierea completă
? points 200 b
433.76 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Shakespeare and Tolerance B. J. Sokol / Carte Carte broșată
common.buy 323.83 lei
The Many Afterlives of John Robert Thompson Valerie Lioudis / Carte Carte broșată
common.buy 58.28 lei
90's-The Collection,Vol.4 Various / Audio Audio CD
common.buy 120.95 lei
MORD ist nix für Anfänger Silke Heinig / Carte Carte broșată
common.buy 52.45 lei
Los crimenes de Grindelwald. Guion original de la pelicula / The Crimes of Grindelwald: The Original Screenplay Joanne Rowling / Carte Copertă tare
common.buy 96.28 lei
Foundations in Music Psychology Andrew J. Oxenham / Carte Copertă tare
common.buy 764.79 lei
What to Eat During Cancer Treatment The American Cancer Society / Carte Copertă tare
common.buy 128.76 lei
SDM Live Magazine Issue #19 2018 Cheraee C / Carte Carte broșată
common.buy 57.03 lei
Pólis/Cosmópolis: Identidades Globais & Locais Carmen Soares / Carte Carte broșată
common.buy 214.64 lei
Fabulous Frenchies: French Bulldog Adult Coloring Book Heather Land / Carte Carte broșată
common.buy 47.67 lei
Fashion Vintage Coloring Book for Adult: Vintage Floral Dresses, and Relaxing Flower Patterns And Relaxing Flo Vintage Floral Dresses / Carte Carte broșată
common.buy 47.67 lei
A Banger In Belgrave Hospital: street poems by Arthur Kitchener MR Arthur John Kitchener / Carte Carte broșată
common.buy 81.91 lei
An Overview of the Amendments to the Constitution Bob Navarro / Carte Carte broșată
common.buy 56.83 lei
Log Horizon: The West Wind Brigade, Vol. 7 Mamare Touno / Carte Carte broșată
common.buy 63.70 lei
El Origen de Las Especies Charles Darwin / Carte Carte broșată
common.buy 53.49 lei
Slavery Leonie Archer / Carte Copertă tare
common.buy 1 145.27 lei
So einfach ist Modellieren mit Ton! Karin Weidlich / Carte Carte broșată
common.buy 75.88 lei
Куколки Д. Уиндем / Carte Carte broșată
common.buy 51.10 lei
Star Trek: Picard: Rogue Elements John Jackson Miller / Carte Carte broșată
common.buy 75.67 lei
Michael Storrings Christmas Market 1000 Piece Puzzle Galison / Joc / Jucărie Puzzle
common.buy 98.36 lei
Little Sarasota Dining Book 2022 Larry Hoffman / Carte Carte broșată
common.buy 55.06 lei
Grey E L James / Carte Carte broșată
common.buy 64.11 lei
Спасти себя и близких. Правила выживания в экстремальных условиях / Carte Copertă tare
common.buy 51.10 lei
The Beginning after the End 1 Fuyuki23 / Carte Carte broșată
common.buy 71.30 lei

Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle ŕ l'algčbre de processus Lotos. Il aborde plusieurs points relatifs ŕ la spécification, la validation et l'ordonnancement de systčmes concurrents sujets ŕ des contraintes logiques et temporelles. La premičre partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxičme partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modčle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisičme partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systčmes temps-réel.

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 Contribution La Conception de Syst mes Temps-R el
Autor Christophe Lohr
Limba franceză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 204
EAN 9786131534706
ISBN 6131534705
Codul Libristo 06996606
Editura Omniscriptum
Greutatea 304
Dimensiuni 152 x 229 x 12

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

Biogéographie de la flore du Sahara Quezel / Carte Carte
common.buy 264.92 lei
Pourquoi la Terre tourne-t-elle? nouvelle édition di Folco / Carte Carte broșată
common.buy 41.00 lei
Introduction ? l'économie moderne Georges Sorel / Carte Carte broșată
common.buy 97.74 lei
Zeszyt A4 60k kratka Oxford campus pastel mix pakiet 5 sztuk / Carte binding.
common.buy 142.19 lei
Jy is Liefde Refiloe Moahloli / E-book Adobe ePub DRM
common.buy 29.45 lei
Nano-Biosensor Technologies for Diagnosis of Infectious Diseases Anitha Varghese / Carte Copertă tare
common.buy 1 143.50 lei
Raised on Radio Paul Rees / Carte Copertă tare
common.buy 147.81 lei
Married Life May Edginton / Carte Carte broșată
common.buy 101.48 lei
Das Grundrecht auf Religionsfreiheit und die Grenzen des Strafrechts Rene Kreisl / Carte Carte broșată
common.buy 262.32 lei
Curând
Der Kaiserstuhl Ingo Seehafer / Carte Carte broșată
common.buy 75.25 lei
Handbook of the Economics of International Migration Barry Chiswick & Paul W Miller / Carte Copertă tare
common.buy 651.22 lei
Poemas de Pina Phillips Lujan Pina Phillips Lujan / Carte Copertă tare
common.buy 146.35 lei
Tokyo Martin Gostelow / Carte Carte broșată
common.buy 45.90 lei
Epistolae Tres Ad D. Ioannem Pappvm Theologvm Lvtheranvm Carl von Reifitz / Carte Carte broșată
common.buy 311.03 lei
Pi Ingar Lehmann / Carte Copertă tare
common.buy 148.22 lei
Cross-Linked Liquid Crystalline Systems Dirk Broer / Carte Copertă tare
common.buy 1 802.95 lei
Hebrew-Greek Key Word Study Bible-NASB Spiros Zodhiates / Carte Copertă tare
common.buy 529.32 lei
Wellenlasten auf hydrodynamisch schlanke Strukturen Holger Rakers / Carte Carte broșată
common.buy 314.36 lei
Reflections on the Works of God, and of His Providence, Throughout All Nature, ... Translated First from the German of Mr. C.C. Sturm. by a Lady. a Ne Christoph Christian Sturm / Carte Carte broșată
common.buy 147.39 lei
Through Thick and Thin. Margery Hollis / Carte Carte broșată
common.buy 123.76 lei
Elisabeth Kaiserin wider Willen Brigitte Hamann / Carte Carte broșată
common.buy 98.67 lei
Ballad Romance Touching The Days Of Charlemagne And Of The Cid Campeador John Gibson Lockhart / Carte Carte broșată
common.buy 106.17 lei
Book of Phenomenal, Hidden, Mysterious Scriptural Secrets Jan Hershberger / Carte Carte broșată
common.buy 116.79 lei
Thomas A J B Johnston / Carte Carte broșată
common.buy 111.58 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?