Perpustakaan ITB

Judul Penulis / Pembimbing TA Tahun Penerbit Perpustakaan

Formal techniques for verification of complex real-time system

/ by Marc Constantijn Willem Geilen

Nomor Panggil PUSAT

004.33 GEI

Penulis

GEILEN, Marc Constantijn Willem

Penerbit

Technische Universiteit Eindhove

Tahun Terbit

2002

Ketersediaan

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

Detil

ISBN : 90-386-1930-8
Kolasi : xii, 264 hlm.: gamb., tab.; 25 cm
Materi Koleksi : Tugas Akhir Disertasi-NonITB
Bahasa : Inggris
Subjek : Computer sciences ; Ilmu komputer
Kata Kunci : Real-time systems, Computer sciences
Keterangan : Proefschrift (Doctor) - Technische Universiteit Eindhoven