The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Koleksi

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
23.21.1720 - Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
23.21.1720-1
Tersedia
16 October 2023

Informasi Koleksi

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