Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation.
Achat du livre
Tagungsband / 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Manfred Dietrich
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .