Sign Up

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Wolfgang Schreiner

  1. Home
  2. Katalog
  3. Detail

Informasi Umum

Kode

24.21.1967

Klasifikasi

005.131 - Matlab

Jenis

Buku - Elektronik (E-Book)

Subjek

Mathematical And Computational Engineering

No. Rak

Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 2

Dilihat

27 kali

Informasi Lainnya

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

Anda harus log in untuk mengakses flippingbook

Pengarang

Nama Wolfgang Schreiner
Jenis Perorangan
Penyunting
Penerjemah

Penerbit

Nama Springer Cham
Kota Singapore
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