Unifying Theories of Programming and Formal

Unifying Theories of Programming and Formal Engineering Methods: Inteational Training School on Software Engineering, Held at ICTAC 2013, Shanghai, .. Computer Science and General Issues)

Hardcover: 300 pages

Publisher: Springer (July 19, 2013)

Language: English

ISBN-10: 3642397204