Home
Search
Katalog & Koleksi
Katalog
Informasi
Pemilihan Jurnal untuk Publikasi Ilmiah
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Layanan Assistive Technology
Fasilitas Cek Similarity, iThenticate dan Turnitin
Cara Akses Scopus
Standar Layanan Open Library
Cara Akses Koleksi Electronic Book Open Library
Layanan Document Delivery Service
Tentang Kami
Tahun Terbit
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Koleksi
Katalog
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
Barcode
23.21.1720-1
Kondisi
Tersedia
Tanggal masuk
16 October 2023
Informasi Koleksi
Unit
31
Asal penerimaan
Beli
Pemasok
Logistik Telkom Universty
Harga pembelian
0
Jenis katalog
Buku - Elektronik (E-Book)
Lokasi
Tel-U Gedung Manterawu Lantai 5
Kembali