AUTHORS (1-2 of 2)
FMCAD 2000 (2000 : Austin, Tex.)
1
book jacket

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings
FMCAD 2000 (2000 : Austin, Tex.)
New York : Springer, 2000
2000
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro J6 F7235 2000  LNCS 1954    LIB USE ONLY    30330000145388
2
book jacket

Formal methods in computer-aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings
FMCAD 2000 (2000 : Austin, Tex.)
New York : Springer, c2000
c2000
電子書

Location: 中央研究院