Número de Cutter-SanbornL783uEntrada «Liu» → 783 · marca de obra “u”

Unifying Theories of Programming and Formal Engineering Methods

Name: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 9783642397219

International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Autor	Zhiming Liu, Jim Woodcock, Huibiao Zhu
Editorial	Springer London, Limited
Fecha de publicación	2013
Idioma	inglés
ISBN-13	9783642397219
Número de Cutter	`L783u`

Unifying Theories of Programming and Formal Engineering Methods (2013) — ISBN 978364239721 | Cutter Number