Yazar
acm conference on proving assertions about programs 1972 new mexico state university
2 cilt bulundu.
Cilt sonuçları
Proceedings of an ACM Conference on Proving Assertions about Programs
Association for Computing Machinery., ACM Conference on Proving Assertions about Programs (1972 New Mexico State University) · Association for Computing Machinery
221 sayfa · 1972
Computer programming / Congresses
Proceedings
T. E. Cheatham, Ben Wegbreit, ACM Special Interest Group on Programming Languages, ACM Special Interest Group for Automata and Computability Theory, ACM Conference on Proving Assertions about Programs (1972 New Mexico State University) · Association for Computing Machinery
211 sayfa · 1972
Programming languages (Electronic computers) / Congresses / Computer programming