Número de Cutter-SanbornK88fEntrada «Kou» → 88 · marca de obra “f”

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
ISBN: 9783642158988

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Autor	Stefan Kowalewski, Marco Roveri
Editorial	Springer London, Limited
Fecha de publicación	2010
Idioma	inglés
ISBN-13	9783642158988
Número de Cutter	`K88f`

Formal Methods for Industrial Critical Systems (2010) — ISBN 9783642158988 | Cutter Number