Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Alan J. Hu, Andrew K. Martin (eds.)
Bok Engelsk 2004 FMCAD 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XI, 444 s. : ill.
|
| Emner | |
| ISBN | 3540237380
|
