Perpustakaan ITB

Judul Penulis / Pembimbing TA Tahun Penerbit Perpustakaan

Cocktail : a tool for deriving correct programs

/ by Michael Gerardus Johannes Franssen.

Nomor Panggil PUSAT

005.131 FRA

Penulis

FRANSSEN, Michael Gerardus Johannes

Penerbit

Technische Universiteit Eindhoven

Tahun Terbit

2000

Ketersediaan

NoNomor IndukKembaliKoleksi
NoNomor IndukTanggal
NoNomor IndukTanggal
NoNomor IndukTanggal
NoNomor IndukLokasiKoleksi
1 20010539 PP ITB Lt. 3 (Koleksi Mingguan)
No AntrianTanggal ReservasiUser

Detil

ISBN : 90-386-0841-1 [pbk]
Kolasi : x, 237 hlm.: gamb., tab.; 25 cm.
Seri : IPA dissertation series ; 2000-07
Materi Koleksi : Book
Subjek : Computer sciences
Kata Kunci : Logic programming
Keterangan : Proefschrift (Doctor) Technische Universiteit Eindhoven