Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th Anniversary Colloquium of Unu/Iist, the International Institute for Software Technology of the United
ISBN: 9783540205272
Information Available:
Summary
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.