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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

High-Level System Modeling

Name: High-Level System Modeling
Brand: Springer, Berlin
SKU: 01398357
Price: 108.69 EUR
Availability: InStock
Author: Jean-Michel Bergé
ISBN: 9780792396321

Specification Languages

Jean-Michel Bergé

Oz Levia

Jacques Rouillard

Език

Английски език

Книга С твърди корици

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

Издателство Springer, Berlin, ноември 1994

The process of modeling hardware involves a certain duality: a model may specify and represent the d... Цялото описание

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

263 b

108.69 €

212.58 лв

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

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

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

Conseil constitutionnel et Cour européenne des droits de l'homme - Vers un nouvel équilibre collegium

С меки корици

126.56 € 247.53 лв

Zaviri i otkrij -Što se u tvojem tijelu zbiva dok jedeš?

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

13.87 € 27.13 лв

Ne legyél béka! Kai Lüftner

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

8.64 € 16.90 лв

MARIA LASSNIG Maria Nicolini

С меки корици

27.54 € 53.87 лв

Ravensburger Puzzle 12000709 - Abends in Pisa - 500 Teile Puzzle für Erwachsene und Kinder ab 12 Jahren

Игра

13.10 € 25.61 лв

Ein Vertheidiger Jodocus Temme

С меки корици

10.66 € 20.85 лв

Fenomén Vsetín Forever Václav Trávníček

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

24.59 € 48.10 лв

Nos coeurs tordus, Tome 02 Séverine Vidal

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

18.17 € 35.54 лв

Jóga a ájurvéda Narayan Chögyin Dorje

С меки корици

13.15 € 25.72 лв

Secret de M. Bignon, Trouve Dans Les Lettres de Mme **** A Un Exile Sans Auteur

С меки корици

14.60 € 28.55 лв

Vertrau auf deinen Hund Andreas Ohligschläger

С меки корици

16.15 € 31.59 лв

Klassen und die Gesellschaft Pontus E. Fahlbeck

С меки корици

33.09 € 64.71 лв

Freud, Moses und die monotheistische Religion Pieter van den Berg

С меки корици

19.93 € 38.98 лв

Le tour de la France par deux enfants Devoir et Patrie Alfred

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

28.37 € 55.49 лв

Leben ohne Barrieren Daniel Kempin

С меки корици

45.36 € 88.71 лв

Versicherungszwang. Christian Feilcke

С меки корици

78.29 € 153.13 лв

Theatrum Scientiarum, Band 5, Spuren der Avantgarde Helmar Schramm

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

240.49 € 470.35 лв

The process of modeling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can end in simulation or documentation. Surprisingly enough, one of the main qualities of a specification formalism is its ability to ignore issues that do not belong to this level. Such formalisms are obviously intended for the first stages of a design, but can also be used in the process of redesign. Having a proper level of description thus avoids two symmetric problems: Overspecification, which would introduce new instances of the hardware constraints that were only meaningful to the previous ones; Underspecification, which would lead to unnecessary work and sometimes to starting again from scratch. Pds. /LIST Pds. High-Level System Modeling: Specification Languages describes the state-of-the-art in specification formalisms in electronic design. The book provides an overview of object- oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable or synthesisable VHDL. Audience: The essential update for researchers, design engineers and technical managers working in design automation and circuit design.