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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

ITG-Fb. 314: MBMV 2024, CD-ROM

Name: ITG-Fb. 314: MBMV 2024, CD-ROM
Brand: VDE-Verlag
SKU: 45240694
Price: 124.75 EUR
Availability: InStock
Author: VDE ITG
ISBN: 9783800762675

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. - 15.Februar 2024 in Kaiserslautern

VDE ITG

VDE/VDI GMM

Език

Немски език

Digital Digital CD

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

Издателство VDE-Verlag, ноември 2023

Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur... Цялото описание

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

302 b

124.75 €

243.98 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

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

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

101 Python Challenges: With Solutions / Code Listings Philippe Kerampran

С меки корици

23.83 € 46.60 лв

Two Lectures on the Life and Writings of Maimonides: Delivered at the Jews' and General Literary and Scientific Institution (1847) Abraham Benisch

С меки корици

20.26 € 39.63 лв

Attyla i hunowie ekspansja barbarzyńskich nomadów iv - v wiek Michel Rouche

С меки корици

24.35 € 47.62 лв

Entrepreneuring the Future of Higher Education Mary Landon Darden

С меки корици

43.01 € 84.12 лв

Nuevas Tendencias. Volumen 2. Prótesis BOTTINO

binding.

112.34 € 219.72 лв

Employer's Guide to Health Care Reform: 2021 Edition Lisa Campbell

С меки корици

772.81 € 1 511.48 лв

Wheels of Steel Book 6 Pepper Pace

С меки корици

14.88 € 29.11 лв

Here's to Haiti: Kiss America Kiss: An Illustrated Story Yolantha Harrison-Pace

С меки корици

16.18 € 31.64 лв

Good Wives Louisa May Alcott

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

19.43 € 38.01 лв

AVERNO CON HACHE

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

27.24 € 53.28 лв

Hemlock - (à travers les meurtrières) Gabrielle WITTKOP

С меки корици

20.62 € 40.34 лв

Funny Story Emily Henry

С меки корици

20.67 € 40.44 лв

LE SILENCE ET LA COLERE (2 VOLUMES) Lemaitre

С меки корици

67.26 € 131.54 лв

Japanese Cookbook: The Simple Art of Japanese Cooking Carla Hale

С меки корици

13.07 € 25.57 лв

La Loi Du Calame: Loi géométrique sur les chiffres et lettres arabes Emmanuel Wayanne

С меки корици

16.95 € 33.16 лв

Human Work Interaction Design. Work Analysis and HCI Pedro Campos

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

54.38 € 106.36 лв

Flags of the World Series (Oceania and Antartica), adult coloring book M L Gutierrez

С меки корици

6.56 € 12.83 лв

The Spiritual Canticle of the Soul and the Bridegroom of Christ St John of the Cross

С меки корици

36.34 € 71.07 лв

Goshen Edward P. Connor

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

24.55 € 48.02 лв

Solo Training Loren W. Christensen

С меки корици

16.49 € 32.25 лв

Papers by Command, Volume 88 Great Britain Parliament House of Comm

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

45.75 € 89.48 лв

How to Destroy a Monster That Feeds on Itself Norman Powell

С меки корици

11.32 € 22.13 лв

Possibility Factor Prayer Journal Latania Michelle

С меки корици

14.99 € 29.31 лв

History of Garden Art Marie Luise Schroeter Gothein

С меки корици

76.82 € 150.25 лв

Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme- Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW- Verhaltensmodellierung, KI-basierte Modelle- Modellbasierte Entwicklung- Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)- Schaltungen und Systeme in sicherheitsrelevanten Produkten- Verifikation nichtfunktionaler Eigenschaften- Simulationsbasierte Verifikation und Validierung- Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse