Formal Methods for Industrial Critical Systems book cover, ISBN 9783030582975

Formal Methods for Industrial Critical Systems

by Dejan Nickovic; Maurice H. ter Beek
  • ISBN13: 9783030582975
  • ISBN10: 3030582973
  • eBook ISBN(s): 9783030582982
  • Format: Nonspecific Binding
  • Copyright: 2020-08-28
  • Publisher: Springer Nature
  • Your order must be $59 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
List Price: $93.30 Save up to $73.50
Purchase Options
  • Digital
    $42.90*

    Rent Digital Options
    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.