Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

ITG-Fb. 309: MBMV 2023, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. - 24. März2023 in Freiburg

Taal EngelsEngels
Digitaal Digitaal cd
Digitaal ITG-Fb. 309: MBMV 2023, CD-ROM VDE ITG
Libristo-code: 43633148
Uitgeverij VDE-Verlag, november 2022
Der 26. Workshop der VDE ITG, VDE/VDI GMM, und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibung... Volledige beschrijving
? points 176 b
73.05 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Tot 30 dagen retourrecht

Klanten kochten ook

leone. Il figlio della foresta. Warhammer 40.000 Mike Brooks / Boek Gebonden (harde band)
common.buy 23.02 €
EN ALAS DE MI ANGEL HERMANA MARIA ANTONIA / Boek Gebonden (paperback)
common.buy 20.28 €
Probiotici, prebiotici e sinbiotici Omelio Cepero Rodriguez / Boek Gebonden (paperback)
common.buy 39.36 €
TOP
Influence Robert Cialdini / Boek Gebonden (harde band)
common.buy 19.78 €
Унесенные ветром. Том 2. Вечные истории Маргарет Митчелл / Boek Gebonden (harde band)
common.buy 23.13 €
TOP
Большая книга раскладов Таро. Как получить ответы на волнующие вопросы / Boek Gebonden (harde band)
common.buy 17.65 €
Solfege Specialement Ecrit Pour Basse-Taille Ou Baryton Sur La Clef de la 4e Auguste Panseron / Boek Gebonden (paperback)
common.buy 19.37 €
Das Vergleichend-Anatomische Museum: An Der Wiener Medicinischen Facultat Im Jubilaeumsjahre 1865 (1865) Joseph Hyrtl / Boek Gebonden (paperback)
common.buy 29.82 €
La Pioggia D'Oro; E, La Fuggitiva: Poesie in Dialetto Milanese Tommaso Grossi / Boek Gebonden (paperback)
common.buy 16.53 €
Systeme metrique francais, guide theorique et pratique de l'acheteur et du vendeur BENOIT-S / Boek Gebonden (paperback)
common.buy 18.46 €
Notes Additionnelles Et Rectificatives Au Gallia Christiana DE FLEURY-P / Boek Gebonden (paperback)
common.buy 15.62 €
Indiana Jones And The Temple Of Doom John (Composer) Ost/Williams / Audio Audio cd
common.buy 14.50 €
I protocolli clinici della terapia cognitivo-comportamentale C. La Mela / Boek Gebonden (paperback)
common.buy 35.40 €
Rechtswirklichkeit Der Privatklage Und Umgestaltung Zu Einem Aussoehnungsverfahren Eva Lütz-Binder / Boek Gebonden (paperback)
common.buy 68.89 €
Coole Rap-Songs im Musikunterricht, m. 1 CD-ROM Rafael Schöllhorn / Boek Blad
common.buy 26.68 €
Ruckblick Aus Dem Jahre 2000 Auf Das Jahr 1887 Edward Bellamy / Boek Gebonden (paperback)
common.buy 17.95 €

Der 26. Workshop der VDE ITG, VDE/VDI GMM, 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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam ITG-Fb. 309: MBMV 2023, CD-ROM
Auteur VDE ITG, VDE/VDI GMM, GI
Taal Engels
Bindwijze Digitaal - Digitaal cd
Datum van uitgifte 2023
Aantal pagina's 104
EAN 9783800760657
Libristo-code 43633148
Uitgeverij VDE-Verlag
Gewicht 56
Afmetingen 124 x 140

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Politics and Governance in the Middle East Francesco Cavatorta / Boek Gebonden (paperback)
common.buy 56.00 €
Natural and Moral History of the Indies Joseph de AcostaClements R. MarkhamEdward Grimston / Boek Gebonden (paperback)
common.buy 51.33 €
History of the Mishnaic Law of Women, Part 1 Jacob Neusner / Boek Gebonden (paperback)
common.buy 24.65 €
Writing the Research Paper Khawlah Ahmed / Boek Gebonden (harde band)
common.buy 107.45 €
TOP
Walt Disney's Uncle Scrooge: The Diamond Jubilee Collection BARKS CARL / Boek Gebonden (harde band)
common.buy 89.79 €
Bad Mother Sheridan Mia / Boek Gebonden (paperback)
common.buy 13.59 €
85 Stroke Preventing Juice and Meal Recipes: The Stroke-Survivors Guide to Healthy Living Joe Correa Csn / Boek Gebonden (paperback)
common.buy 22.11 €
69 Maximum Performance Habits: How To Reach Long-Term Success and Improve Your Health Robert Daudish / Boek Gebonden (paperback)
common.buy 7.70 €
An Equanimity Of Throes John Stark / Boek Gebonden (paperback)
common.buy 8.61 €
Renderings: Poetry and Prose from the Hudson Valley Writers Workshop Howard Massey / Boek Gebonden (paperback)
common.buy 10.34 €
Ordinary People Don't Carry Machine Guns Zenia Tompkins / Boek Gebonden (paperback)
common.buy 14.80 €
Langenscheidt Fit in 30 Tagen - Englisch - Sprachkurs für Anfänger und Wiedereinsteiger Stuart Amor / Boek Gebonden (paperback)
common.buy 16.23 €
Brief Catechesis on Nature and Grace Henri De Lubac / Boek Gebonden (paperback)
common.buy 14.30 €
Conjunctions Katie Marsico / Boek Gebonden (paperback)
common.buy 12.57 €
Displacement, Development, and Climate Change Nina Hall / Boek Gebonden (harde band)
common.buy 245.15 €
TOP
How Can I Talk If My Lips Don't Move? Tito Rajarshi Mukhopadhyay / Boek Gebonden (paperback)
common.buy 14.30 €
Myth and Meaning Claude Lévi-Strauss / Boek Gebonden (paperback)
common.buy 36.93 €
Advances and Technical Standards in Neurosurgery John D. Pickard / Boek Gebonden (harde band)
common.buy 206.38 €
Grey E. L. James / Boek Gebonden (paperback)
common.buy 10.85 €
Living Feminism Chilla Bulbeck / Boek Gebonden (paperback)
common.buy 46.26 €
TOP
Rivers of London: Volume 1 - Body Work Ben Aaronovitch / Boek Gebonden (paperback)
common.buy 17.14 €
India: The Ancient Past Burjor Avari / Boek Gebonden (paperback)
common.buy 71.32 €
Making Law Bind Tony Honore / Boek Gebonden (harde band)
common.buy 262.50 €
Women in Natural Resource Management and Environmental Decision Making Arnab Kushal Mistry / Boek Gebonden (paperback)
common.buy 63.21 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken