Yazar
lee a benzinger
1 cilt bulundu.
Cilt sonuçları
A model and a method for the stepwise development of verified programs
Lee A. Benzinger · Dept. of Computer Science, University of Illinois at Urbana-Champaign
125 sayfa · 1987
Computer programming / Computer software / Development