Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	004.21 Cla m
Collection Type	Buku
Title	Model checking
Author	Clarke, Edmund M.;
Publisher	London : The MIT Press, 1999
Subject	Computer systems verification
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
004.21 Cla m	01/9117 (Asli)	TERSEDIA
004.21 Cla m	08/11544 (asli)	TERSEDIA

Tidak ada review pada koleksi ini: 3083

Tidak ada abstrak pada koleksi ini

Latest Collection

Perancangan Pengembangan Keamanan Identity and Access Management Terpusat pada Arsitektur Microservice: Studi Kasus PUSILKOM UI

Type: Karya Akhir (KA)

Perancangan Antarmuka dan Fitur Training Management System (TMS): Studi Kasus Divisi Corporate University PT XYZ

Type: Karya Akhir (KA)

Essentials of Statistics for the Behavioral Sciences (MindTap Course List) 10th Edition (INSTRUCTOR'S MANUAL)

Type: Instructor's Manual (Khusus Do

Kerja Praktik Proses Pengembangan Produk Biller di PT Alto Network

Type: Kerja Praktek (KP)

Analisis Dark Pattern dan Rekomendasi Desain pada Aplikasi Mobile Ride-Hailing di Indonesia: Gojek, Grab, Maxim

Type: Skripsi

Analisis Peforma Algoritma Bubble Sort dan Perkalian Matriks dalam Java, Python, PHP. dan Rust

Type: Skripsi

Optisign: Motion-aware end to endFramework Model for Blur Resistant Sign Language Recognition and Interpretation

Type: Tesis

Penggunaan Diagram Voronoi pada Metode Low-Rank Sparse Dark Channel Prior untuk Penghapus Awan

Type: Tesis

Perancangan Kerangka Kerja Kesiapan Customer Knowledge Management pada Usaha Mikro Kecil dan Menengah

Type: Tesis

Pengukuran Terintegrasi User Interface Usability dan User Experience: Sebuah Model Konseptual

Type: Tesis

Favorite