Formal Methods for Industrial Critical Systems

Industrial

von Mar a. Alpuente,Christophe Joubert Byron Cook

Taschenbuch

ISBN-13: 978-3-642-04571-4

ISBN-10: 3-642-04571-5

Springer · 2009

Siehe auch (möglicherweise von anderen Autoren):
2009PaperbackFormal Methods for Industrial Critical Systems