Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Koleksi

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
22.21.2556 - Tristan Cazenave, Olivier Teytaud, Mark H. M. Winands
22.21.2556-1
Tersedia
22 December 2022

Informasi Koleksi

13
Beli
logistik Telkom University
0
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5