Practice-oriented courses in formal methods using VDM++ | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Practice-oriented courses in formal methods using VDM++

Larsen, Peter Gorm - Nama Orang; Fitzgerald, John S. - Nama Orang; Riddle, Steve - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

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

Informasi Detail

Judul Seri: FORMAL ASPECTS OF COMPUTING; Vol.21 No.3 May 2009
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.245-257
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: -
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar