Yazar
jose bacelar almeida
2 cilt bulundu.
Cilt sonuçları
Rigorous software development
José Bacelar Almeida · Springer London, Limited
270 sayfa · 2011
Development / Verification / Computer software / Computer software, verification / Symbolic and Algebraic Manipulation
