Books of Huibiao Zhu

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Published on: 2013

Beginner Set Theory English

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories …

Programming Theories Engineering ICTAC Software

Page of