My Library

University LibraryCatalogue

     
Save Marked Record Save All Records Save Marked to My Lists
ISBN'S/ISSN'S (1-2 of 2)
3540412190
2
 
    E-RESOURCE 2000

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.

    FMCAD 2000 (2000 : Austin, Tex.)
Berlin ; New York : Springer,        xi, 537 pages : illustrations ; 24 cm. 2000
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove