한글
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
Nandi, Chandrakana.
| University of Washington |
2021
8
Cunningham, Kathryn Irene.
| University of Michigan |
2020
9
Li, Can.
| Carnegie Mellon University |
2021
10
Nelson, Gregory L.
| University of Washington |
2021
소트
구분
자료유형
저자
- VanHattum, Alexa.Computer Science. (3+)
- Wei, Guannan. (3+)
- Xu, Yi.Computer Science and Engineering. (3+)
- Crouse, Maxwell. (1+)
- Cinoman, Ryan M. (1+)
출판사
- Stanford University (6+)
- University of Washington (6+)
- Arizona State University (4+)
- The Pennsylvania State University (4+)
- Carnegie Mellon University (3+)
출판년도
언어