The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, Proceedings

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers
Loading Inventory...

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, Revised Selected Papers

Barnes and Noble
Current price: $44.99
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings
Loading Inventory...

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, Proceedings

Barnes and Noble
Current price: $59.99
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers
Loading Inventory...

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, Revised Selected Papers

Barnes and Noble
Current price: $69.99
Powered by Adeptmind