Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004 Lec
Collection Type Indeks Artikel LNCS
Title Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23
Author J. Bergstra;
Publisher Springer, 1981
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Lec TERSEDIA
Tidak ada review pada koleksi ini: 39700
Tidak ada abstrak pada koleksi ini