Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
Warren A. Hunt, Jr., Steven D. Johnson (eds.)
Bok Engelsk 2000 FMCAD 2000
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | XI, 537 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540412190
|
