Formal Methods for Industrial Critical Systems A Survey of Applications

by Gnesi, Stefania; Margaria, Tiziana

• ISBN13: 9780470876183
• ISBN10: 0470876182
• Edition: 1st
• Format: Paperback

• New Textbook Copy Print on Demand: 2-4 Weeks. This item cannot be cancelled or returned.
• Free Shipping On Orders Over $35!

Formal Methods for Industrial Critical Systems

• ISBN13: 9783031681493
• ISBN10: 3031681495
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

• ISBN13: 9783031436802
• ISBN10: 3031436806
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

• ISBN13: 9783030852474
• ISBN10: 3030852474
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

• ISBN13: 9783031150074
• ISBN10: 3031150074
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

by Nunez, Manuel; Güdemann, Matthias

• ISBN13: 9783319194578
• ISBN10: 3319194577
• Format: Paperback

Formal Methods for Industrial Critical Systems

by Howar, Falk; Barnat, Jiri

• ISBN13: 9783030002435
• ISBN10: 3030002438
• Format: Paperback

Formal Methods for Industrial Critical Systems

by Larsen, Kim Guldstrand; Willemse, Tim

• ISBN13: 9783030270070
• ISBN10: 3030270076
• Format: Paperback

Formal Methods for Industrial Critical Systems

by Kim Guldstrand Larsen

• ISBN13: 9783030270087
• ISBN10: 3030270084
• Format: Nonspecific Binding

Formal Methods for Industrial Critical Systems

by Dejan Nickovic; Maurice H. ter Beek

• ISBN13: 9783030582982
• ISBN10: 3030582981
• Format: Nonspecific Binding