Consistent and Complementary Formal Theories of the Semantics of Programming Languages

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Hoare, C, Lauer, P
বিন্যাস: Journal article
প্রকাশিত: 1974