Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Koleksi

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
23.21.1961 - Tiziana Margaria, Bernhard Steffen
23.21.1961-1
Tersedia
17 October 2023

Informasi Koleksi

31
Beli
Logistik Telkom University
 
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5