Yazar
r l constable
7 cilt bulundu.
R. L. Constable · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Algorithm Analysis and Problem Complexity / Logic design
R. L. Constable · Springer-Verlag
292 sayfa · 1982
Computer programs / PL/CV (Computer program language) / Verification / PL/1 / PL 1
R. L. Constable · Winthrop Publishers
389 sayfa · 1978
Computer programs / PL/CV (Computer program language) / Symbolic and mathematical Logic / Testing
R. L. Constable, S. D. Johnson, C. D. Eichenlaub · Springer
314 sayfa · 1982
Pl/cv (Computer Program Language) / Testing / Computer Programs / Pl/cv (computer program language) / Computer software, testing
R. L. Constable · Prentice Hall
299 sayfa · 1986
Mathematics / Nuprl (Computer system) / Data processing / Automatic theorem proving / Mathematics, data processing