Applied Formal Methods--Fm Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings
ISBN: 9783540664628
Information Available:
Summary
Table Of Contents
Copyright held by Baker & Taylor.