Assertions in Programming: From Scientific Theory to Engineering Practice

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Hoare, C
বিন্যাস: Conference item
প্রকাশিত: Springer 2002