Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Contribution La Conception de Syst mes Temps-R el

Name: Contribution La Conception de Syst mes Temps-R el
Brand: Omniscriptum
SKU: 06996606
Price: 86.62 EUR
Availability: InStock
Author: Christophe Lohr
ISBN: 9786131534706

Christophe Lohr

Език

Френски език

Книга С меки корици

Код Либристо: 06996606

Издателство Omniscriptum, февруари 2018

Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formell... Цялото описание

Код Либристо: 06996606

210 b

86.62 €

169.41 лв

Външен склад Изпращаме след 10-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Shakespeare and Tolerance B. J. Sokol

С меки корици

58.86 € 115.13 лв

The Many Afterlives of John Robert Thompson Valerie Lioudis

С меки корици

10.57 € 20.68 лв

90's-The Collection,Vol.4 Various

Аудио компактдиск

23.01 € 44.99 лв

MORD ist nix für Anfänger Silke Heinig

С меки корици

10.57 € 20.68 лв

Los crimenes de Grindelwald. Guion original de la pelicula / The Crimes of Grindelwald: The Original Screenplay Joanne Rowling

С твърди корици

19.45 € 38.03 лв

Foundations in Music Psychology Andrew J. Oxenham

С твърди корици

151.58 € 296.46 лв

What to Eat During Cancer Treatment The American Cancer Society

С твърди корици

23.06 € 45.10 лв

SDM Live Magazine Issue #19 2018 Cheraee C

С меки корици

10.31 € 20.17 лв

Pólis/Cosmópolis: Identidades Globais & Locais Carmen Soares

С меки корици

38.84 € 75.97 лв

Fabulous Frenchies: French Bulldog Adult Coloring Book Heather Land

С меки корици

8.66 € 16.94 лв

Fashion Vintage Coloring Book for Adult: Vintage Floral Dresses, and Relaxing Flower Patterns And Relaxing Flo Vintage Floral Dresses

С меки корици

8.66 € 16.94 лв

A Banger In Belgrave Hospital: street poems by Arthur Kitchener MR Arthur John Kitchener

С меки корици

14.85 € 29.05 лв

An Overview of the Amendments to the Constitution Bob Navarro

С меки корици

10.26 € 20.07 лв

Log Horizon: The West Wind Brigade, Vol. 7 Mamare Touno

С меки корици

12.64 € 24.71 лв

El Origen de Las Especies Charles Darwin

С меки корици

10.16 € 19.87 лв

Slavery Leonie Archer

С твърди корици

208.59 € 407.96 лв

So einfach ist Modellieren mit Ton! Karin Weidlich

С меки корици

14.44 € 28.24 лв

Куколки Д. Уиндем

С меки корици

10.26 € 20.07 лв

Star Trek: Picard: Rogue Elements John Jackson Miller

С меки корици

13.56 € 26.53 лв

Michael Storrings Christmas Market 1000 Piece Puzzle Galison

Пъзел

19.81 € 38.74 лв

Little Sarasota Dining Book 2022 Larry Hoffman

С меки корици

9.85 € 19.26 лв

Grey E L James

С меки корици

12.89 € 25.22 лв

Спасти себя и близких. Правила выживания в экстремальных условиях

С твърди корици

10.26 € 20.07 лв

The Beginning after the End 1 Fuyuki23

С меки корици

16.81 € 32.89 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Contribution La Conception de Syst mes Temps-R el

Автор Christophe Lohr

Език

Френски език

Корици Книга - С меки корици

Дата на издаване 2018

Брой страници 204

Баркод 9786131534706

ISBN 6131534705

Код Либристо 06996606

Издателство Omniscriptum

Тегло 304

Размери 152 x 229 x 12

Може би ще Ви заинтересува

Biogéographie de la flore du Sahara Quezel

Книга

52.72 € 103.12 лв

Pourquoi la Terre tourne-t-elle? nouvelle édition di Folco

С меки корици

8.25 € 16.14 лв

Introduction ? l'économie moderne Georges Sorel

С меки корици

17.69 € 34.60 лв

Jy is Liefde Refiloe Moahloli

Adobe ePub DRM

5.88 € 11.49 лв

Nano-Biosensor Technologies for Diagnosis of Infectious Diseases Anitha Varghese

С твърди корици

229.59 € 449.03 лв

Raised on Radio Paul Rees

С твърди корици

28.11 € 54.98 лв

Married Life May Edginton

С меки корици

18.36 € 35.91 лв

Die Relativierung des "höchsten Augenblicks" in Goethes "Faust 2" Michael Steinmetz

С меки корици

17.07 € 33.39 лв

Das Grundrecht auf Religionsfreiheit und die Grenzen des Strafrechts Rene Kreisl

С меки корици

49.89 € 97.57 лв

Der Kaiserstuhl Ingo Seehafer

С меки корици

14.29 € 27.94 лв

Handbook of the Economics of International Migration Barry Chiswick & Paul W Miller

С твърди корици

129.70 € 253.67 лв

Poemas de Pina Phillips Lujan Pina Phillips Lujan

С твърди корици

29.25 € 57.20 лв

Tokyo Martin Gostelow

С меки корици

8.71 € 17.04 лв

Epistolae Tres Ad D. Ioannem Pappvm Theologvm Lvtheranvm Carl von Reifitz

С меки корици

62.27 € 121.79 лв

Pi Ingar Lehmann

С твърди корици

28.22 € 55.19 лв

Cross-Linked Liquid Crystalline Systems Dirk Broer

С твърди корици

342.89 € 670.63 лв

Hebrew-Greek Key Word Study Bible-NASB Spiros Zodhiates

С твърди корици

100.65 € 196.86 лв

Wellenlasten auf hydrodynamisch schlanke Strukturen Holger Rakers

С меки корици

62.89 € 123.00 лв

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

С меки корици

29.56 € 57.81 лв