Número de Cutter-SanbornB826wEntrada «Brav» → 826 · marca de obra “w”

Web Services and Formal Methods

Name: Web Services and Formal Methods
ISBN: 9783642195891

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Autor	Mario Bravetti, Tevfik Bultan
Editorial	Springer London, Limited
Fecha de publicación	2011
Idioma	inglés
ISBN-13	9783642195891
Número de Cutter	`B826w`

Web Services and Formal Methods (2011) — ISBN 9783642195891 | Cutter Number