Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings
ISBN: 9783540001164
Information Available:
Summary
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.