Formal methods of program verification and specification : OPAC USU Library

Formal methods of program verification and specification

001.642 5 For

Berg, Helmut K... [et al]

Judul :	Formal methods of program verification and specification
No. Panggil :	001.642 5 For
Penerbit :	Prentice Hall
Edisi :
Tahun :	1982
ISBN :	013 328807 2
Deskripsi :	xiv, 207 p. : ilus. ; 24 cm.
No. Klasifikasi :	001.642 5
Golongan :	Umum
Subyek :	COMPUTER PROGRAMS-VERIFICATION;COMPUTER PROGRAMS-SPECIFICATIONS
Bahasa :	ENG
Jenis :	Buku
Catatan Umum :
Jumlah Eksemplar :	2
Terpinjam :	0
Tersedia :	2

Barcode	Lokasi	Status	Tipe*	Tanggal Pinjam	Tanggal Harus Kembali
86014642	Perpustakaan Universitas	Ada	STD
86014377	Perpustakaan Universitas	Ada	STD

Tipe* :
STD = Koleksi standar berada di Lt. 2, Lt. 3 atau Lt. 4 Perpustakaan USU atau di Perpustakaan Cabang.
KPS = Koleksi pinjam singkat berada di bagian KPS (Koleksi Pinjam Singkat) Lt. 1 Perpustakaan USU.