Número de Cutter-SanbornC376fEntrada «Cav» → 376 · marca de obra “f”

Formal Methods : Foundations and Applications

Name: Formal Methods : Foundations and Applications
ISBN: 9783319708478

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Autor	Simone Cavalheiro, José Fiadeiro
Editorial	Springer
Fecha de publicación	Nov 12, 2017
Páginas	315
Formato	paperback
ISBN-13	9783319708478
ISBN-10	3319708473
Número de Cutter	`C376f`

Formal Methods : Foundations and Applications (2017) — ISBN 9783319708478 | Cutter Number