Número de Cutter-SanbornB813fEntrada «Brag» → 813 · marca de obra “f”

Formal Methods : Foundations and Applications

Name: Formal Methods : Foundations and Applications
ISBN: 9783319150758

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Autor	Christiano Braga, Narciso Martí-Oliet
Editorial	Springer London, Limited
Fecha de publicación	2015
Idioma	inglés
Páginas	179
ISBN-13	9783319150758
Número de Cutter	`B813f`

Formal Methods : Foundations and Applications (2015) — ISBN 9783319150758 | Cutter Number