Property-directed incremental invariant generation | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Property-directed incremental invariant generation

Manna, Zohar - Nama Orang; Bradley, Aaron R. - Nama Orang;

Tidak Tersedia Deskripsi

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

Judul Seri: FORMAL ASPECTS OF COMPUTING; Vol.20 No.4-5 July 2008
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.379-405
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: MODEL CHECKING
STATIC ANALYSIS
INVARIANT GENERATION
AFFINE INVARIANTS
POLYNOMIAL INVARIANTS
CLAUSAL INVARIANTS
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Aaron R. Bradley, Zohar Manna

Tidak tersedia versi lain

Tidak Ada Data