

Formal Methods in Computer-Aided Design
- Undertitel
- Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
- Redaktör
- Phillip Windley, Ganesh Gopalakrishnan
- ISBN
- 9783540495192
- Språk
- Engelska
- Utgivningsdatum
- 2003-07-31
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator