한글
English
日本語
中文
Русский
עברית
ไทย
Française
Deutsch
Español
1
![Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]](/Users/Baul/Images/book.png)
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
2
Wei, Guannan.
| Purdue University. |
2023
3
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
4
Wei, Guannan.
| Purdue University. |
2023
5
VanHattum, Alexa.Computer Science.
| Cornell University. |
2023
6
Wei, Guannan.
| Purdue University. |
2023
7
Xu, Huanzhong.
| Stanford University |
2023
8
Samyak, Rajanala.
| Stanford University |
2023
9
Mann, Ariana Joy.
| Stanford University |
2023
10
Shi, Yuyang.
| Georgia Institute of Technology |
2023
소트
구분
자료유형
저자
- VanHattum, Alexa.Computer Science. (3+)
- Wei, Guannan. (3+)
- Xu, Yi.Computer Science and Engineering. (3+)
- Mann, Ariana Joy. (1+)
- Kulkarni, Kaushik G. (1+)
출판사
- Georgia Institute of Technology (6+)
- University of California, San Diego. (3+)
- Stanford University (3+)
- Purdue University. (3+)
- Cornell University. (3+)
출판년도
언어