Formal Methods for Industrial Critical Systems
von
Mar a. Alpuente,Christophe Joubert Byron Cook
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-642-04571-4
ISBN-10: 3-642-04571-5
Springer
· 2009
Siehe auch (möglicherweise von anderen Autoren):
2009
Paperback
Formal Methods for Industrial Critical Systems