Número de Cutter-SanbornE68fEntrada «Eri» → 68 · marca de obra “f”

FME 2002 : Formal Methods - Getting IT Right

Name: FME 2002 : Formal Methods - Getting IT Right
ISBN: 9783540456148

International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Autor	Lars-Henrik Eriksson, Peter A. Lindsay
Editorial	Springer London, Limited
Fecha de publicación	2003
Idioma	inglés
ISBN-13	9783540456148
Número de Cutter	`E68f`

FME 2002 : Formal Methods - Getting IT Right (2003) — ISBN 9783540456148 | Cutter Number