Número de Cutter-SanbornB986fEntrada «Butler, M.» → 986 · marca de obra “f”

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
ISBN: 9783319254234

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Autor	Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Editorial	Springer London, Limited
Fecha de publicación	2015
Idioma	inglés
Páginas	436
ISBN-13	9783319254234
Número de Cutter	`B986f`

Formal Methods and Software Engineering (2015) — ISBN 9783319254234 | Cutter Number