Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

Name: Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Brand: Springer Nature Switzerland AG
SKU: 9783032401106
Price: 43.74 EUR
Availability: InStock
ISBN: 9783032401106