Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
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
-
1SáchBằng Loeckx, Jacques, 1931-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1984
-
2SáchBằng Polak, Wolfgang, 1950-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1981
-
3SáchBằng Hailpern, Brent T. (Brent Tzion), 1955-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1982
-
4SáchBằng Barringer, Howard, 1951-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1985
-
5SáchBằng Constable, R. L. (Robert L.)Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1982
-
6Tài liệu chính phủ SáchĐược phát hành 1989Những chủ đề: “…Computer programs Verification.…”
-
7SáchBằng Suzuki, Norihisa, 1946-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1980
-
8Luận văn SáchBằng Cartwright, Robert, 1949-Những chủ đề: “…Computer programs Verification.…”
Được phát hành 1976