Número de Cutter-SanbornG433sEntrada «Gian» → 433 · marca de obra “s”

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
ISBN: 9783319104317

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Autor	Dimitra Giannakopoulou, Gwen Salaün
Editorial	Springer London, Limited
Fecha de publicación	2014
Idioma	inglés
Páginas	394
ISBN-13	9783319104317
Número de Cutter	`G433s`

Software Engineering and Formal Methods (2014) — ISBN 9783319104317 | Cutter Number