42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
De som köpt den här boken har ofta också köpt Technological Republic av Alexander C Karp, Nicholas W Zamiska (häftad).
Köp båda 2 för 917 krThis book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022¿held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were care...