Component-Based Software Engineering

Advanced Functional Programming

Adapting Proofs-as-Programs

Abstraction, Refinement and Proof for Probabilistic Systems

Component Deployment

FM 2005: Formal Methods

Extreme Programming and Agile Processes in Software Engineering

Hasil Pencarian


Ditemukan 167 dari pencarian Anda melalui kata kunci: subject="TECHNIQUES"
Permintaan membutuhkan 0.12171 detik untuk selesai
XML ResultJSON Result

Informasi


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