Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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Книгаза авторством Loeckx, Jacques, 1931-Предмети: “...Computer programs Verification....”
Опубліковано 1984
-
2Книгаза авторством Polak, Wolfgang, 1950-Предмети: “...Computer programs Verification....”
Опубліковано 1981
-
3Книгаза авторством Hailpern, Brent T. (Brent Tzion), 1955-Предмети: “...Computer programs Verification....”
Опубліковано 1982
-
4Книгаза авторством Barringer, Howard, 1951-Предмети: “...Computer programs Verification....”
Опубліковано 1985
-
5Книгаза авторством Constable, R. L. (Robert L.)Предмети: “...Computer programs Verification....”
Опубліковано 1982
-
6Урядовий документ КнигаОпубліковано 1989Предмети: “...Computer programs Verification....”
-
7Книгаза авторством Suzuki, Norihisa, 1946-Предмети: “...Computer programs Verification....”
Опубліковано 1980
-
8Дисертація Книгаза авторством Cartwright, Robert, 1949-Предмети: “...Computer programs Verification....”
Опубліковано 1976