12 Results:SS:PROGRAMMINGLANGUAGE 0.62 sec.
한글
English
日本語
中文
Русский
עברית
ไทย
Française
Deutsch
Español
11
![Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]](/Sponge/Images/bookDefaults/DDbookdefaultsmall.png)
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
12
소트
구분
자료유형
저자
- Surbatovich, Milijana.Electrical and Computer Engi (1+)
- Roberts, Michael.Computer Science. (1+)
- Recto, Rolph.Computer Science. (1+)
- Jun, Eunice.Computer Science and Engineering. (1+)
- Choudhury, Pritam.Computer and Information Science (1+)
출판사
- Cornell University. (5+)
- Stanford University. (2+)
- University of Pennsylvania. (1+)
- Purdue University. (1+)
- Princeton University. (1+)
출판년도
언어