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 /

Збережено в:
Бібліографічні деталі
Автор: Zhiming Liu, Jim Woodcock, Huibiao Zhu (edición)
Формат: Книга
Мова:Англійська
Опубліковано: Berlín, Alemania : Springer, 2013, c2013
Серія:(Lecture Notes in Computer Science)
Онлайн доступ:Ver documento en línea
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!