লোডিং...

Formal methods of program verification

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Berg,H.K
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: New Jersey Prentice-Hall