ISBN | 9798380169776 | ||
---|---|---|---|
作者 | Surbatovich, Milijana. | 授予学位单位 | Carnegie Mellon University. |
导师 | Lucia, Brandon;Jia, Limin | 学位 | Ph.D. |
学科 | Computer science. Computer engineering. Electrical engineering. | 国籍 | US |
页码/总页数 | 340 p. / 340 | 出版年 | 2023 |
中图分类号 | TP, TN | ||
关键词 | Formal semantics Intermittent computing Programming languages Energy harvesting devices Batteryless Battery |