Facebook
Web Universitas Andalas
Pilih Bahasa
Arabic
Bengali
Brazilian Portuguese
Cina
Korea
English
Espanol
German
Indonesia
Thai
Melayu
Persia
Perpustakaan Universitas Andalas
Melayani Kebutuhan Ilmu dengan Segenap Usaha
Beranda Depan
Info Perpustakaan
Area Anggota
Pustakawan
Bantuan Pencarian
MASUK Pustakawan
Koleksi
Kembali
Pencarian
Pencarian
Pengarang
SEARCHING...
Subyek
SEARCHING...
ISBN/ISSN
GMD
Semua GMD/Media
Artikel
CD-ROM
Computer File
Computer Software
Digital Versatile Disc
Electronic Resource
Globe
Journal
Kunci Loker
Manuscript
Map
Motion Picture
Multimedia
Music
Picture
print
Skripsi
Sound Recording
Teks
Text Book
Tipe Koleksi
Semua Koleksi
Biografi
Cakram Digital
Fiksi
Jurnal
Key
Koleksi Umum/Populer
Laporan Hasil Penelitian
Manuskrip
Referensi
Skripsi - Thesis - Disertasi
Text
Textbook
Lokasi
Semua Lokasi
American Corner
CADANGAN
Koleksi Bahasa Indonesia
Koleksi Bahasa Inggris
Lantai 4 Ruang Koleksi Skripsi
Layanan Multimedia - Referensi Cakram Digital
Loker Sirkulasi
Minangkabau Corner
My Library
REFERENSI
Klik di sini untuk Pencarian Spesifik
Ditemukan
1
dari pencarian Anda melalui kata kunci:
Subject :
"Program Verification"
Permintaan membutuhkan
0.01033
detik untuk selesai
XML Result
Formal Methods Of Program Verification And Specification
Pengarang
: H.K. Berg - W.E. Boebert - W.R. Franta
Detail Cantuman
XML Detail
Bagikan:
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog
Gugus Pencarian
Membuat gugus pencarian ...
