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
- Författare
- Zhiming. Liu
- (Edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2013 | Tyskland, Berlin, Heidelberg | XII, 283 sidor. 50 illus. online resource. | 978-3-642-39721-9 |