الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
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