Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Koleksi

Katalog

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
21.21.3678 - Wolfgang Ahrendt at ol

Barcode

21.21.3678-1

Kondisi

Tersedia

Tanggal masuk

24 December 2021

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5