Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 004 Woo f
Collection Type Indeks Artikel LNCS
Title Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Computer Science 670) Hal 652-670
Author Nigel Ward;
Publisher Springer, 1993
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Woo f TERSEDIA
Tidak ada review pada koleksi ini: 39026
Tidak ada abstrak pada koleksi ini