Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Generacion de Especificaciones Ejecutables Systemc Heterogeneas

Name: Generacion de Especificaciones Ejecutables Systemc Heterogeneas
Brand: Eae Editorial Academia Espanola
SKU: 07046274
Price: 592 CZK
Availability: InStock
Author: Pablo Pe Il
ISBN: 9783848469772

Pablo Pe Il

Pablo Penil

Jazyk

Španělština

Kniha Brožovaná

Libristo kód: 07046274

Nakladatelství Eae Editorial Academia Espanola, červenec 2012

Este trabajo presenta una metodología para el diseńo de sistemas empotrados basada en modelos UML/MA... Celý popis

Libristo kód: 07046274

59 b

592 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

New Poverty in Canada: Ethnic Groups and Ghetto Neighbourhoods Abdolmohammad Kazemipur

Brožovaná

710 Kč

Mühlacker + Hans-Peter Vaas

Pevná

436 Kč

Zöldfülű barátság Komjáthy Zsuzsi

Pevná

237 Kč

Art 3, 3a, 4 EGBGB, Anh zu Art 4 EGBGB Rainer Hausmann

Pevná

7 787 Kč

imperatrici di Capri e la vera storia della morte dell'imperatore Commodo Raffaele Mambella

Brožovaná

500 Kč

Inherited Shadows Elias Hartley

Brožovaná

294 Kč

"Go'ro'g'lining tug'ilishi" dostonida qo'llanilgan antroponimlar Davlatnazar Davlatnazarov

Brožovaná

813 Kč

Dans le sillage des pierres Polyphème

Brožovaná

553 Kč

Kjv, Pocket New Testament with Psalms and Proverbs, Leatherflex, Black, Red Letter, Comfort Print Nelson

Kniha

199 Kč

Dorothea Tanning: Doesn't the Paint Say It All? TANNING DOROTHEA

Pevná

857 Kč

Digital Microbiology Laboratory Exercises Steven Keating

Digital

772 Kč

Die Gemaldesammlung In Der Kaiserlichen Ermitage Zu St. Petersburg: Nebst Bemerkungen Uber Andere Dortige Kunstsammlungen (1864) Gustav Friedrich Waagen

Pevná

1 229 Kč

Phonetic Patterns of Chinese Characters: Labial Initials in Mandarin Stephen M. Kraemer

Brožovaná

299 Kč

Entrepreneur Platform Magazine: May/June 2019 Kelli M Williams

Brožovaná

237 Kč

Handbook of Digital Politics Stephen Coleman

Brožovaná

1 684 Kč

Cesty z duševní krize Susanne Barknowitzová

Brožovaná

166 Kč

L' hiver du monde - Le si?cle Tome 2 Ken Follett

Brožovaná

417 Kč

Svenska-Persiska (Farsi) Bilduppslagsbok med djur för tv?spr?kiga barn Richard Carlson Jr

Brožovaná

237 Kč

Second Chance Norman Sosner

Brožovaná

237 Kč

Die Völker des östlichen Asien Adolf Bastian

Brožovaná

752 Kč

Etudes Pratiques Sur La Navigation Du Centre, de l'Est Et Du Nord de la France, Et Des Principales Aulagnier-F

Brožovaná

391 Kč

Fasti Ecclesiae Hibernicae Henry Cotton

Pevná

924 Kč

Seven Words of Jesus and Mary Fulton J. Sheen

Brožovaná

258 Kč

Der Goodwill-Effekt von Sportsponsoring-Maßnahmen Philip Zeller

Brožovaná

1 444 Kč

Este trabajo presenta una metodología para el diseńo de sistemas empotrados basada en modelos UML/MARTE. Esta metodología permite la captura de la semántica ejecutiva de varios modelos de computación. Se establece un mapeo a SystemC con el fin de obtener especificaciones ejecutables que permitan simular, validar y analizar dichos modelos UML/MARTE. Para una simulación correcta de los modelos, esta metodología utiliza los mecanismos proporcionados por la metodología HetSC a fin de especificar la variedad semántica ejecutiva en las correspondientes especificaciones SystemC. Con el fin de garantizar que todo el flujo de diseńo es semánticamente consistente, esto es, que las características semánticas relacionadas con la concurrencia y los mecanismos de comunicación capturados en los modelos UML/MARTE son plasmados en la correspondiente especificación ejecutable SystemC/HetSC, el mapeo UML/MARTE-SystemC/HetSC está soportado formalmente. Este soporte formal es proporcionado por ForSyDe (Formal System Design). El metamodelo formal ForSyDe proporciona la coherencia semántica en el proceso de transformación desde los modelos UML/MARTE a las especificaciones SystemC/HetSC.