Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.3 Bak m
Collection Type	Buku
Title	Mathematical theory of program correctness/ Jaco de Bakker
Author	Baker, Jaco de;
Publisher	Singapore: Prentice Hall, 1980
Subject	Computer programs-Testing; Logic, symbolic and mathematical
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.3 Bak m	86/4633a	TERSEDIA
005.3 Bak m	86/4633	TERSEDIA

Tidak ada review pada koleksi ini: 27058

Tidak ada abstrak pada koleksi ini

Latest Collection

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)

Optimasi Penentuan Target Pemeriksaan Pelanggan Anomali Studi Kasus Perusahaan Tenaga Listrik

Type: Karya Akhir (KA)

Evaluasi Penggunaan dan Rekomendasi Perbaikan Omnichannel Management System pada PT Paragon Technology and Innovation

Type: Karya Akhir (KA)

Analisis Faktor-faktor yang Memengaruhi Praktik Knowledge Sharing dan Dampaknya Terhadap Kemampuan Inovasi Perusahaan: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

PT XYZ-Pengembangan Aplikasi Mobile untuk Platform Android

Type: Kerja Praktek (KP)

Transformasi Arsitektur Aplikasi Accounting System Berbasis Arsitektur Cloud-Native Menggunakan Pendekatan Model Driven: Studi Kasus PT XYZ

Type: Karya Akhir (KA)

Pembuatan Real Time Monitoring Dashboard untuk OCBC NISP

Type: Kerja Praktek (KP)

Pengembangan Desain Chatbot Berbasis Generative Artificial Intelligence pada Student-Centered E-learning Environment (scele) Fakultas Ilmu Komputer Universitas Indonesia dengan Pendekatan User-Centered Design

Type: Skripsi

Favorite