Formal Methods: Foundations and Applications

Juliano Iyoda; Leonardo Moura

Informasi Umum

Kode

16.21.837

Klasifikasi

004 - Data Processing, Computer Science/Pemrosesan Data, Ilmu Komputer, Teknik Informatika, Hardware Komputer

Jenis

Buku - Elektronik (E-Book)

Subjek

Computer Science

No. Rak

Tel-U Bandung - Gedung Manterawu Lantai 5 : Rak 1
Tel-U Purwokerto : Rak 1

Dilihat

80 kali

Informasi Lainnya

CRI3E2 - METODE FORMAL

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

Anda harus log in untuk mengakses flippingbook

Pengarang

Nama	Juliano Iyoda, Leonardo Moura
Jenis	Perorangan
Penyunting
Penerjemah

Penerbit

Nama	Springer Berlin Heidelberg
Kota
Tahun	2013

Sirkulasi

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

Download / Flippingbook

E - Book (ebook.pdf)

diunduh 85 kali

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 Bandung - 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
Sabtu	08:00 - 13:00

Tel-U Bandung - 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 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 Purwokerto

Gedung Rektorat Lt.1 Jl. D.I. Panjaitan No. 128 Purwokerto
0813-9015-1393
library-pwt@telkomuniversity.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