Predicate diagrams for the verification of real-time systems | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Semua | Buku | Karya Dosen | Karya Mahasiswa | Berkala | Artikel | Lain-lain Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

No image available for this title

Text

Predicate diagrams for the verification of real-time systems

Eun-Young, Kang - Nama Orang; Merz, Stephan - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
art78752	null	Artikel		Gdg9-Lt3	Tersedia namun tidak untuk dipinjamkan - No Loan

Informasi Detail

Judul Seri: FORMAL ASPECTS OF COMPUTING; Vol.19 No.3 August 2007
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.401-413
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: -
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Eun-Young Kang, Stephan Merz

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar