Número de Cutter-SanbornS872fEntrada «Stoel» → 872 · marca de obra “f”

Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
ISBN: 9783642324697

17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Autor	Mariëlle Stoelinga
Editorial	Springer Berlin Heidelberg, Imprint: Springer
Fecha de publicación	2012
Lugar	Berlin, Heidelberg
Idioma	inglés
Formato	[electronic resource] :
ISBN-13	9783642324697
Serie	Lecture Notes in Computer Science -- 7437
Número de Cutter	`S872f`

Formal Methods for Industrial Critical Systems (2012) — ISBN 9783642324697 | Cutter Number