Número de Cutter-SanbornB284sEntrada «Barth» → 284 · marca de obra “s”

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
ISBN: 9783642246906

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Autor	Gilles Barthe, Alberto Pardo, Gerardo Schneider
Editorial	Springer London, Limited
Fecha de publicación	2011
Idioma	inglés
ISBN-13	9783642246906
Número de Cutter	`B284s`

Software Engineering and Formal Methods (2011) — ISBN 9783642246906 | Cutter Number