Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings
ISBN: 9783540237389



Information Available:
Summary
Cover Image
Table Of Contents





Copyright held by Baker & Taylor.