Mar a. Alpuente,Christophe Joubert Byron Cook

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Methods for Industrial Critical Systems978-3-642-O4571-4
(3-642-O4571-5)
2009

A.A. · A.C. · M.A. · M.C.

Mar¡a Amparo Escandon