Unifying Theories of Programming and Formal Engineering Methods
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
66,50 €On orderDelivery: 2-3 weeks
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.
- ISBN-13
- 9783642397202
- ISBN-10
- 3642397204
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-07-19
- Pages
- 283
- Dimensions
- 235x155x