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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer, Berlin
SKU: 05274314
Price: 54.25 EUR
Availability: InStock
Author: George J. Milne
ISBN: 9783540567783

IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, France, May 24-26 1993. Proceedings

George J. Milne

Laurence Pierre

Език

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

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

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

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

These proceedings contain the papers presented at the§Advanced Research Working Conference on Correc... Цялото описание

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

132 b

54.25 €

106.10 лв

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

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

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

Natur des Schlechten bei Proklos Nestor Chr. Kavvadas

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

149.86 € 293.11 лв

Pencereden Bakan Cocuk Sennur Sezer

С меки корици

8.66 € 16.94 лв

WordPress & Divi Tim Rautenberg

С меки корици

18.97 € 37.11 лв

Los dos árboles del paraíso Aïvanhov

С меки корици

31.92 € 62.43 лв

Vitamin Korean 5 Cho Jung Soon

С меки корици

44.35 € 86.74 лв

A Certain Magical Index T15 Kazuma Kamachi

С меки корици

10.62 € 20.77 лв

LA SEÑORITA RANSKILL VUELVE A CASA TODD

Книга

28.20 € 55.16 лв

ANIMAUX Laval

С меки корици

11.60 € 22.68 лв

Begegnungen Tobias Knoblauch

С меки корици

14.28 € 27.93 лв

Hygiene der Stimme Otto Körner

С меки корици

12.37 € 24.20 лв

Caos en Carnaval, 1 Educación Primaria Elvira Menéndez

С меки корици

11.91 € 23.29 лв

Singapur - Ein Bildband Sabine Werner

С меки корици

13.35 € 26.11 лв

Mitspieler werden. Parzivâls Weg - vom Mittelalter in die Postmoderne. Sophie Pannitschka

С меки корици

29.03 € 56.78 лв

L'Espoir d'André Malraux (Fiche de lecture) Camille Prévost

С меки корици

14.33 € 28.03 лв

Grammatici Latini Heinrich Keil

С меки корици

75.29 € 147.26 лв

Korea-Krieg - Einige Aspekte zu Ursachen und Auswirkungen Michael Hess

С меки корици

36.82 € 72.01 лв

These proceedings contain the papers presented at the§Advanced Research Working Conference on Correct Hardware§Design Methodologies, held in Arles, France, in May 1993,and organized by the ESPRIT Working Group 6018 CHARME-2and§the Universit de Provence, Marseille, in cooperation with§IFIP Working Group 10.2.§Formal verification is emerging as a plausible alternative§to exhaustive simulation for establishing correct digital§hardware designs. The validation of functional and timing§behavior is a major bottleneck in current VLSI design§systems, slowing the arrival of products in the marketplace§with its associated increase in cost. From being a§predominantly academic area of study until a few years ago,§formal design and verification techniques are now beginning§to migrate into industrial use. As we are now witnessing an§increase in activity in this area in both academia and§industry, the aim of this working conference was to bring§together researchers and users from both communities.