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 /

Guardado en:
Detalles Bibliográficos
Autor principal: Zhiming Liu, Jim Woodcock, Huibiao Zhu (edición)
Formato: Libro
Idioma:Inglés
Publicado: Berlín, Alemania : Springer, 2013, c2013
Colección:(Lecture Notes in Computer Science)
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!