Engineering Gabbar h.a. (eds.) modern formal methods and applications (springer, 2006)(isbn 9781402042232)(216s)...

1. MODERN FORMAL METHODS AND APPLICATIONS 2. Modern Formal Methods and Applications Edited by HOSSAM A. GABBAR Okayama University, Okayama, Japan 3. A C.I.P. Catalogue record…