Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Notes in Computer Science (3167), Band 3167)

Techniques

von: Ana Cavalcanti · Augusto Sampaio · Jim Woodcock

Taschenbuch

ISBN-13: 978-3-540-46253-8

ISBN-10: 3-540-46253-8

Springer Berlin Heidelberg · 2010