Perpustakaan ITB

Judul Penulis / Pembimbing TA Tahun Penerbit Perpustakaan

Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow

/ by Jan Zwanenburg.

Nomor Panggil PUSAT

005.117 ZWA

Penulis

ZWANENBURG, Jan

Penerbit

Technische Universiteit Eindhoven

Tahun Terbit

1999

Ketersediaan

NoNomor IndukKembaliKoleksi
NoNomor IndukTanggal
1 20002722 29 Des 2016
NoNomor IndukTanggal
NoNomor IndukTanggal
NoNomor IndukLokasiKoleksi
No AntrianTanggal ReservasiUser

Detil

ISBN : ISBN-13: 9789038607313 [paperback]
Kolasi : 347 halaman : gambar ; 25 cm.
Materi Koleksi : Tugas Akhir Disertasi-NonITB
Bahasa : Inggris
Subjek : Computer sciences
Kata Kunci : Object-oriented programming
Keterangan : Proefschrit (Doctor) TU Eindhoven