Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Simulation Et Verification de Modele Par Metamodelisation Executable

Name: Simulation Et Verification de Modele Par Metamodelisation Executable
Brand: Éditions universitaires européennes
SKU: 06904055
Price: 73.69 EUR
Availability: InStock
Author: Benoit Combemale
ISBN: 9786131505843

Benoit Combemale

Език

Френски език

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

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

Издателство Éditions universitaires européennes, юли 2010

L'Ingénierie Des Modčles a permis plusieurs améliorations significatives dans le développement de... Цялото описание

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

178 b

73.69 €

144.12 лв

Налично при издателя, по поръчка Изпращаме след 17-27 дни

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

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

Time-interleaved Analog-to-Digital Converters Simon Louwsma

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

119.77 € 234.26 лв

Proceedings of the IIW International Conference on Global Trends in Joining, Cutting and Surfacing Technology Manish Samant

С меки корици

225.47 € 440.98 лв

Platelet Concentrates Lisa Chacko

С меки корици

51.88 € 101.48 лв

Een nieuwe aanpak van "pooling" en insolventie Iain Kendal

С меки корици

46.39 € 90.74 лв

Good Eating Dan Tavis

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

17.24 € 33.72 лв

Cataleg de pintura segles X I X y X X del Museu d' Art Modern

С меки корици

40.80 € 79.80 лв

Emily's Alaska Adventure: Climbing Denali Mountain

С меки корици

20.24 € 39.59 лв

Cavas Laurann Dohner

С меки корици

8.54 € 16.70 лв

The Curse Analynn Riley

С меки корици

23.87 € 46.68 лв

Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing Jeng-Shyang Pan

С меки корици

249.65 € 488.28 лв

Svině!! Michael´s Uncle

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

9.47 € 18.52 лв

Najkrajšie vianočné koledy autora nemá

Със спирала

5.74 € 11.23 лв

Žena v závorce Ludvík Němec

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

13.30 € 26.02 лв

Shadowhunter's Codex Cassandra Clare

Adobe ePub DRM

10.66 € 20.85 лв

Terra di Sicilia. Die Geschichte der Familie Carbonaro Mario Giordano

С меки корици

11.59 € 22.68 лв

Obras completas Horacio

С меки корици

24.02 € 46.99 лв

Masters of the Universe Battleground - Wave 5 Masters of the Universe-Fraktion

Игра

21.80 € 42.63 лв

EUGY - 3D Bastelset Pottwal

Играчка

13.51 € 26.42 лв

Quirón Bernadette Sauzea

Adobe ePub DRM

8.64 € 16.90 лв

Rechtswegwahl im Staatshaftungsrecht. Robin Kaiser

С меки корици

79.59 € 155.66 лв

Ashes of Our Fathers Gabriel Gavin

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

34.17 € 66.84 лв

Zapiski w przededniu wojny, czyli dzieci morza wzywają swoją matkę Bartosiak Jacek

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

18.84 € 36.86 лв

Rough Guides Canada: Travel Guide with eBook E12

С меки корици

22.68 € 44.35 лв

Pszichopatákkal körülvéve Thomas Erikson

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

14.39 € 28.15 лв

L'Ingénierie Des Modčles a permis plusieurs améliorations significatives dans le développement de systčmes complexes en permettant de se concentrer sur une préoccupation plus abstraite que la programmation classique. Une des idées phares est d'utiliser autant de langages de modélisation différents (Domain Specific Modeling Languages) que les aspects chronologiques ou technologiques du développement le nécessitent. Le défi actuel de la communauté du génie logiciel est de simplifier la définition de DSML en fournissant des technologies telles que des générateurs d'éditeurs syntaxiques, et d'outils de validation et de vérification. Ces derniers nécessitent d'expliciter, en plus de la syntaxe, la sémantique d'exécution du DSML. Au regard des travaux existants dans l'IDM et de l'expérience acquise avec les langages de programmation, ce livre propose une taxonomie précise des techniques permettant d'exprimer une sémantique d'exécution. Ces techniques sont ensuite replacées au sein d'une démarche complčte permettant de décrire un DSML et les outils de vérification et de validation des modčles. Cet ouvrage est issu de la thčse de Benoît Combemale, soutenue le 11 juillet 2008.