Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
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