Koleksi

Advanced Search

Bundel Journal ACM Transactions of Information Systems : Sistematizing Pragmatic Software Reuse / A Formal Model for Automated Software Modularity and Evolvability / Validation of Rrequirements for Hybrid Systems: A Formal Approach / Concept Location Using Formal Concept Analysis and Information Retrieval / Validating Software Metrics: A Spectrum of Philosophies / HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammers

Detail CantumanCite

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Author : "A. Cimatti, M. Roveri, A. Susi, S. Tonetta"
Permintaan membutuhkan 0.86064 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog