Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

Autili, Marco - Nama Orang; Pelliccione, Patrizio - Nama Orang; Grunske, Lars - Nama Orang; Tang, Antony - Nama Orang; Lumpe, Markus - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

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

Informasi Detail

Judul Seri: IEEE Transactions on Software Engineering;Vol.41 No.7 July 2015
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p. 620-638
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: SPECIFICATION PATTERNS
REAL TIME PROPERTIES
PROBABILISTIC PROPERTIES
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, Antony Tang

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar