Número de Cutter-SanbornG876fEntrada «Gron» → 876 · marca de obra “f”

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
ISBN: 9783031150074

27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Autor	Jan Friso Groote, Marieke Huisman
Editorial	Springer International Publishing AG
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9783031150074
Número de Cutter	`G876f`

Formal Methods for Industrial Critical Systems (2022) — ISBN 9783031150074 | Cutter Number