FME 2003: Formal Methods PDF book is popular Business & Economics book written by Keijiro Araki. The book was released by Springer Science & Business Media on 2003-08-27 with total hardcover pages 955. Fast download link is given in this page, you could read FME 2003: Formal Methods by Keijiro Araki in PDF, epub and kindle directly from your devices.
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44
Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. Th
This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in Septe
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications sys