Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

ITG-Fb. 320: MBMV 2025, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. - 12. März 2025 in Rostock

Língua InglêsInglês
Digital CD digital
Digital ITG-Fb. 320: MBMV 2025, CD-ROM VDE ITG
Código Libristo: 48560336
Editoras VDE-Verlag, novembro 2024
Der 28. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur... Descrição completa
? points 251 b
103.39 €
50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Até 30 dias para devoluções

Os clientes também compraram

Einsterns Schwester - Sprache und Lesen 2. Schuljahr. Themenheft 2 - Leihmaterial Katrin Pfeifer / Livro Folha
common.buy 11.78 €
Старинные русские мотивы для вышивания крестом. Более 300 аутентичных узоров в виде подробных схем / Livro Livro de capa dura
common.buy 18.43 €
Pukk, a fekete unikornis Maja von Vogel / Livro Livro de capa dura
common.buy 7.35 €
Japao e Alemanha na segunda metade do seculo XX. / Livro Capa mole
common.buy 52.81 €
Zabójcze istoty Rory Power / Livro Capa mole
common.buy 9.87 €
Die Siegel der Erzbischofe und Bischofe in der Salzburger Metropole Martin Feiner / Livro Livro de capa dura
common.buy 177.27 €
Principal
Ahoj, bábätko! / Livro Livro concertina
common.buy 8.05 €
Vaters Werkstatt (Puzzle) Steve Read / Jogo/brinquedo Jogo
common.buy 12.18 €
Ne güzel! A1 Dogan Tezel / Áudio CD de áudio
common.buy 14.40 €
Económico
Gecko Run, Speed Kick / Jogo/brinquedo Jogo
common.buy 7.65 €
Construyendo la felicidad Jimena Casillas Castaneda / E-book Adobe ePub DRM
common.buy 12.49 €
Evangelios y oraciones del cristiano Antonio Fuentes Mendiola / E-book Adobe ePub DRM
common.buy 5.13 €
Mit Stickern Lesen lernen - Abenteuer im Dinopark Frau Annika / Livro Capa mole
common.buy 8.35 €
Markedsføring på sosiale medier for små bedrifter Jon Law / E-book Adobe ePub DRM
common.buy 5.13 €
Ne engedj el... Kazuo Ishiguro / Livro Livro de capa dura
common.buy 10.98 €
Beautes de la Marine Ou Recueil Des Traits Les Plus Curieux Concernant Les Marins Voyageurs CAILLOT-A / Livro Capa mole
common.buy 30.12 €
Ventilationsmaschinen der Bergwerke Julius Ritter von Hauer / Livro Capa mole
common.buy 25.08 €
Novemberleuchten Evelyn Rheydt-Zillessen / Livro Livro de capa dura
common.buy 15.21 €
Trainingsbuch Zum Kurzgesprach Timm H. Lohse / Livro Capa mole
common.buy 39.80 €
Ambivalenz Heinz Otto Luthe / Livro Capa mole
common.buy 55.72 €
Dissensions Et Persecutions, Dans l'Arrondissement Du Vigan, Departement Du Gard Arman-A / Livro Capa mole
common.buy 16.72 €
Viaje al centro de la tierra Jules Verne / Livro Capa mole
common.buy 17.53 €
Teresa de Lisieux : un camino evangélico para el siglo XXI José Luis Vázquez Borau / Livro Capa mole
common.buy 13.70 €
Iluminación Cesar Linares / Livro Capa mole
common.buy 36.98 €

Der 28. 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

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo ITG-Fb. 320: MBMV 2025, CD-ROM
Autor VDE ITG, VDE/VDI GMM, GI
Língua Inglês
Encadernação Digital - CD digital
Data de emissão 2025
Número de páginas 174
EAN 9783800765157
Código Libristo 48560336
Editoras VDE-Verlag
Peso 58
Dimensões 124 x 140

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Harding's Luck E. Nesbit / Audiolivro MP3
common.buy 19.34 €
Mystery of Hedgehog Hill Ron Dennis / Livro Livro de capa dura
common.buy 39.09 €
Our Nation in the Building Helen Nicolay / Livro Livro de capa dura
common.buy 38.09 €
A Time to Remember: The Empty House and the Day of the Storm Rosamunde Pilcher / Livro Capa mole
common.buy 18.63 €
Sylvia Plachy: Goings on about Town: Photographs for the New Yorker Elisabeth Biondi / Livro Livro de capa dura
common.buy 34.96 €
Blazor WebAssembly by Example Toi B. Wright / Livro Capa mole
common.buy 57.94 €
Classic Vegetarian Cooking from the Middle East and North Africa Habeeb Salloum / E-book Adobe ePub DRM
common.buy 18.03 €
Land and Fresh Water Shells of Onondaga County William Martin Beauchamp / Livro Capa mole
common.buy 10.07 €
Speeches of Willam L. Yancey, Senator from the State of Alabama William Lowndes Yancey / Livro Capa mole
common.buy 12.39 €
More Than Just Money: Practical and Provocative Steps to Nonprofit Success Allen Proctor / Livro Capa mole
common.buy 14.00 €
The Curious Case of Cut-Throat Cate: The 2nd Case for Inspector Capstan David Blake / Livro Capa mole
common.buy 10.57 €
Grandad's Funeral: A Heartbreaking True Story of Child Abuse, Betrayal and Revenge Kate Skylark / Livro Capa mole
common.buy 9.77 €
Tales from Muggleswick Wood Charlie Mackesy / Livro Livro de capa dura
common.buy 22.57 €
Czechoslovak Republic; Its Economical, Industrial and Cultural Resources Paul Selver / Livro Livro de capa dura
common.buy 28.21 €
Slothilda Dante Fabiero / Livro Livro de capa dura
common.buy 17.12 €
Marshal Shawn Felton & the Wild Bunch TERRY LARKIN / Livro Capa mole
common.buy 24.98 €
Earl Grey with Ephesians Sandra Glahn / Livro Capa mole
common.buy 13.09 €
Aston Martin Bellu / Livro Livro de capa dura
common.buy 41.01 €
New European Central Bank: Taking Stock and Looking Ahead Thomas Beukers / Livro Livro de capa dura
common.buy 190.57 €
Wolf Girl Doniga Markegard / Livro Capa mole
common.buy 17.43 €
The Mysteries of Sexual Purity: The Secret Key to Revelations and Creativity Henry Appiahkorang Duodu / Livro Capa mole
common.buy 13.39 €
Principal
ESV Expository Commentary James M. Hamilton Jr / Livro Livro de capa dura
common.buy 48.06 €
Winter Len Deighton / Livro Capa mole
common.buy 13.19 €
Dog Jared Siemens / Livro Capa mole
common.buy 13.09 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?