Número de Cutter-SanbornM298lEntrada «Mar» → 298 · marca de obra “l”

Leveraging Applications of Formal Methods

Name: Leveraging Applications of Formal Methods
ISBN: 9783540489290

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Autor	Tiziana Maragria, Bernhard Steffen
Editorial	Springer London, Limited
Fecha de publicación	2006
Idioma	inglés
ISBN-13	9783540489290
Número de Cutter	`M298l`

Leveraging Applications of Formal Methods (2006) — ISBN 9783540489290 | Cutter Number