Número de Cutter-SanbornL783fEntrada «Liu» → 783 · marca de obra “f”

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
ISBN: 9783540881940

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Autor	Shaoying Liu, Tom Maibaum, Keijiro Araki
Editorial	Springer London, Limited
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9783540881940
Número de Cutter	`L783f`

Formal Methods and Software Engineering (2008) — ISBN 9783540881940 | Cutter Number