Sign Up

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Cezara Dragoi, Michael Emmi, Jingbo Wang

  1. Home
  2. Katalog
  3. Detail

Informasi Umum

Kode

24.21.896

Klasifikasi

004 - Data processing, Computer science

Jenis

Buku - Elektronik (E-Book)

Subjek

Computer Science

No. Rak

1

Dilihat

17 kali

Informasi Lainnya

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

Anda harus log in untuk mengakses flippingbook

Pengarang

Nama Cezara Dragoi, Michael Emmi, Jingbo Wang
Jenis Perorangan
Penyunting
Penerjemah

Penerbit

Nama Springer Cham
Kota New York
Tahun 2023

Sirkulasi

Harga sewa IDR 0,00
Denda harian IDR 0,00
Jenis Non-Sirkulasi

Download / Flippingbook

belum pernah diunduh
BUSINESS HOURS


SUBMISSION OF LITERACY CLASS SCHEDULE
ATTENDANCE FOR LITERACY CLASS
SUBMISSION FOR USER GUIDANCE
ASK A LIBRARIAN
FAQ
DISCUSSION ROOM RESERVATION
OLAFA
E - CATALOGUE
WORDCLOUD

Lokasi Perpustakaan

Tel-U Gedung Manterawu Lantai 5
Jl. Telekomunikasi - Ters. Buah Batu
Bandung 40257 Indonesia
081280000110
+6222 756 5929
library@telkomuniversity.ac.id; bebas pustaka : bebaspustaka@telkomuniversity.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 19:30

Tel-U Jakarta - Kampus A
Jalan Daan Mogot KM.11, RT.1/RW.4, Kedaung Kali Angke, Cengkareng, RT.1/RW.4, Kedaung Kali Angke, Kecamatan Cengkareng, Kota Jakarta Barat, DKI Jakarta
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 16:30

Tel-U Jakarta - Kampus B
Jalan Halimun Raya Nomor 2A, RT 010, RW 006, Kelurahan Guntur, Kecamatan Setiabudi, Kota Jakarta Selatan, Provinsi DKI Jakarta
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 16:30

Tel-U Jakarta - Kampus C
Jalan Minangkabau Barat No.50, RT.1/RW.1, Ps. Manggis, Kecamatan Setiabudi, Kota Jakarta Selatan, DKI Jakarta 12970
(021)-545-1697
(021)-545-1697
libraryjkt@telkomuniversity.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 16:30

Tel-U Kampus Geger Kalong
Jl. Geger Kalong No. 1
Bandung Indonesia
081280000110
+6222 756 5929
library@telkomuniversity.ac.id; bebas pustaka : bebaspustaka@telkomuniversity.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 16:30

Tel-U Purwokerto

Gedung Rektorat Lt.1 Jl. D.I. Panjaitan No. 128 Purwokerto
0813-9015-1393
perpustakaan@ittelkom-pwt.ac.id

Waktu operasional

Senin - Jumat
 08:00 - 16:00

Tel-U Surabaya
Jl. Ketintang No.156, Ketintang, Kec. Gayungan, Surabaya, Jawa Timur 60231
0811-3278-005

Waktu operasional

Senin - Jumat
 08:00 - 16:30

Telkom University Library

Copyright © 2011 - Telkom Open Library

NPP : 3204122D0000002

Telkom Open Library