Placeholder text
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
By Yann Oddos
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
By Yann Oddos
0 - Default Title
Product details
- Binding:
- Paperback
- Number of Pages:
- 216
- Release Date:
- 2010-12-07
- Publication Date:
- 2010-12-07
- Publisher:
- Editions universitaires europeennes
- Languages:
- Published: French, Original: French
- ISBN10:
- 6131550751
- Weight:
- 322 g
Currently sold out