Número de Cutter-SanbornH411aEntrada «Hax» → 411 · marca de obra “a”

Applicable Formal Methods for Safe Industrial Products

Name: Applicable Formal Methods for Safe Industrial Products
ISBN: 9783031401312

Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Autor	Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
Editorial	Springer
Fecha de publicación	2023
Idioma	inglés
ISBN-13	9783031401312
Número de Cutter	`H411a`

Applicable Formal Methods for Safe Industrial Products (2023) — ISBN 9783031401312 | Cutter Number