Número de Cutter-SanbornB578sEntrada «Bianco» → 578 · marca de obra “s”

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Name: Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
ISBN: 9783662492239

ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ...

Autor	Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Editorial	Springer
Fecha de publicación	Feb 03, 2016

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops (2016) — ISBN 978 | Cutter Number