প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
Computer programs
8
Verification
8
Parallel processing (Electronic computers)
2
Programming languages (Electronic computers)
2
Semantics
2
Compilers (Computer programs)
1
Data structures (Computer science)
1
Electronic data processing departments
1
LISP (Computer program language)
1
PL/CV (Computer program language)
1
Security measures
1
-
1
-
2
-
3গ্রন্থঅনুযায়ী Hailpern, Brent T. (Brent Tzion), 1955-বিষয়গুলি: “…Computer programs Verification.…”
প্রকাশিত 1982
-
4
-
5গ্রন্থঅনুযায়ী Constable, R. L. (Robert L.)বিষয়গুলি: “…Computer programs Verification.…”
প্রকাশিত 1982
-
6সরকারি নথিপত্র গ্রন্থপ্রকাশিত 1989বিষয়গুলি: “…Computer programs Verification.…”
-
7
-
8গবেষণাপত্র গ্রন্থঅনুযায়ী Cartwright, Robert, 1949-বিষয়গুলি: “…Computer programs Verification.…”
প্রকাশিত 1976