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
|