Número de Cutter-SanbornK86iEntrada «Kos» → 86 · marca de obra “i”

Integrated Formal Methods

Name: Integrated Formal Methods
ISBN: 9783031765537

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Autor	Nikolai Kosmatov, Laura Kovács
Editorial	Springer
Fecha de publicación	2024
Idioma	inglés
ISBN-13	9783031765537
Número de Cutter	`K86i`

Integrated Formal Methods (2024) — ISBN 9783031765537 | Cutter Number