Número de Cutter-SanbornC331fEntrada «Carv» → 331 · marca de obra “f”

Formal Methods : Foundations and Applications

Name: Formal Methods : Foundations and Applications
ISBN: 9783030638818

23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

Autor	Gustavo Carvalho, Volker Stolz
Editorial	Springer International Publishing AG
Fecha de publicación	2020
Idioma	inglés
ISBN-13	9783030638818
Número de Cutter	`C331f`

Formal Methods : Foundations and Applications (2020) — ISBN 9783030638818 | Cutter Number