Yazar
Juan Carlos Bicarregui
1 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