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 The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36
Author J.A. Berostra; J. V. Tucker;
Publisher Springer, 1981
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
004 Lec TERSEDIA
Tidak ada review pada koleksi ini: 39701
Tidak ada abstrak pada koleksi ini