Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL
Vérification Formelle Pour la Synthèse Automatique de Circuits
(Sprache: Französisch)
Produktdetails
Produktinformationen zu „Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL “
Bibliographische Angaben
- Autor: Yann Oddos
- 2010, 216 Seiten, Maße: 15 x 22 cm, Kartoniert (TB), Französisch
- Verlag: Editions universitaires europeennes
- ISBN-10: 6131550751
- ISBN-13: 9786131550751
Sprache:
Französisch
Kommentar zu "Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL"
0 Gebrauchte Artikel zu „Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL".
Kommentar verfassen