Unifying Theories of Programming and Formal Engineering Methods, 2013 International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures Theoretical Computer Science and General Issues Series
Coordonnateurs : Liu Zhiming, Woodcock Jim, Zhu Huibiao
Thoroughly revised tutorial lectures
Aimed at postgraduate students, researchers, academics, and industrial engineers
Presents state of the art in Unifying Theories of Programming and Formal Engineering Methods
Date de parution : 07-2013
Ouvrage de 283 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier