Formal Methods for Safety and Security : Case Studies for Aerospace Applications | DealShopping UK
  1. Home
  2. Media
  3. Books
  4. Formal Methods for Safety and Security : Case Studies for Aerospace Applications
  • #

Formal Methods for Safety and Security : Case Studies for Aerospace Applications

109.99 GBP

Share:

Related products

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

44.52 GBP
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ...

79.99 GBP
The B Language and Method: A Guide to Practical Formal Development

The B Language and Method: A Guide to Practical Formal Development

44.99 GBP
Arqueologia y Techne: Metodos formales, nuevos enfoques : Archaeology and Techne: Formal methods, new approaches

Arqueologia y Techne: Metodos formales, nuevos enfoques : Archaeology and Techne: Formal methods, new approaches

38.00 GBP
Formal Methods for Autonomous Systems

Formal Methods for Autonomous Systems

143.96 GBP
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

44.99 GBP