Número de Cutter-SanbornM678fEntrada «Mis» → 678 · marca de obra “f”

FM 2006 : Formal Methods

Name: FM 2006 : Formal Methods
ISBN: 9783540372165

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Autor	Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Editorial	Springer London, Limited
Fecha de publicación	2006
Idioma	inglés
ISBN-13	9783540372165
Número de Cutter	`M678f`

FM 2006 : Formal Methods (2006) — ISBN 9783540372165 | Cutter Number