Choice Made Simple!
Too many options?Click below to purchase an online gift card that can be used at participating retailers in Village Green Shopping Centre and continue your shopping IN CENTRE!Purchase HereHome
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, Proceedings
Coles
Loading Inventory...
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, Proceedings in Vernon, BC
By None
Current price: $117.99
Original price: $147.45
Coles
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, Proceedings in Vernon, BC
By None
Current price: $117.99
Original price: $147.45
Loading Inventory...
Size: Kobo eBook
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
You May Also Like
More About Coles at Village Green Shopping Centre
Find everything in-store including new, used and children’s books, music, movies, games and toys. Visit Coles today to find the perfect gift, or a novel for yourself. COVID-19 UPDATE: Open | Regular Centre Hours
Store Info
Find Coles at Village Green Shopping Centre in Vernon, BC
Visit Coles at Village Green Shopping Centre in Vernon, BC