Rekommenderade teman
Rekommenderade teman
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
-
3Bokav Hailpern, Brent T. (Brent Tzion), 1955-Ämnen: “…Computer programs Verification.…”
Publicerad 1982
-
4
-
5
-
6Regeringsdokument BokPublicerad 1989Ämnen: “…Computer programs Verification.…”
-
7
-
8Lärdomsprov Bokav Cartwright, Robert, 1949-Ämnen: “…Computer programs Verification.…”
Publicerad 1976