Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Bow z
Collection Type	Indeks Artikel LNCS
Title	Improving software test using Z specifications (LNCS-Lecture Notes in Computer Science, 967), Hal. 152-166
Author	Hans Martin Horcher;
Publisher	Springer, 1995
Subject
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Bow z		TERSEDIA

Tidak ada review pada koleksi ini: 39098

Tidak ada abstrak pada koleksi ini

Latest Collection

Implementasi Pretrained Language Mobil Tapas pada Tugas Tanya Jawab Berbasis Tabel Berbahasa Indonesia

Type: Tesis

A Novel Structure Evaluation Method for Indonesian Pantun Generation

Type: Tesis

Strategi Migrasi Sistem Lawas Genting dengan Arsitektur Monolitik ke Microservices: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

IT Infrastructure architecture: infrastructure building blocks and concepts, 4 Edt

Type: Buku

Evaluasi Tingkat Kematangan Adopsi Devops: Studi Kasus Badan Pusat Statistik

Type: Karya Akhir (KA)

REKOMENDASI PENEMPATAN PEGAWAI MENGGUNAKAN ALGORITMA SUPERVISED MACHINE LEARNING DAN RULE-BASED EXPERTS: STUDI KASUS INSTANSI PENDIDIKAN

Type: Karya Akhir (KA)

Evaluasi Usability dan Rekomendasi Desain Antarmuka Perbaikan Antarmuka Permata Karir: Studi Kasus PT Bank Permata Tbk

Type: Karya Akhir (KA)

Pengukuran Tingkat Kesadaran Pegawai terhadap Keamanan Informasi: Studi Kasus Badan Kepegawaian Negara

Type: Karya Akhir (KA)

Faktor-Faktor Yang Memengaruhi Implementasi Satu Data Di Pemerintahan Kota Depok

Type: Karya Akhir (KA)

Evaluasi Usability & Rekomendasi Perbaikan Desain Antarmuka Sistem Self-Service dalam Penyelesaian Kendala Pelanggan E-commerce

Type: Karya Akhir (KA)

Favorite