Theory And Practise Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2015 [Hardcover]

This is the proceedings of the Fourth Workshop on Computing: Theory and Practice, WCTP 2015 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.

Readership: Graduate students, academics and researchers in the field of formal specification, artificial intelligence, software engineering and programming.