Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures


Book Informaton

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Zhiming Liu; Jim Woodcock; Huibiao Zhu

Series

Lecture Notes in Computer Science

Volume

8050

Year of Publication

1st ed. 2013

Publisher

Springer Berlin Heidelberg

Pages

XII, 283

Language

EN

ISBN

9783642397202, 9783642397219

ARI Id

1664727344597


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.