Yazar
Juan C Bicarregui
3 cilt bulundu.
Cilt sonuçları
Proof in VDM
Juan Carlos Bicarregui, Juan C. Bicarregui, John S. Fitzgerald · Springer-Verlag
362 sayfa · 1994
Development / Computer software / System design / Automatic theorem proving / Computer software, development