ISBN | 9781392702741 | ||
---|---|---|---|
作者 | Smolka, Steffen Juilf. | 授予学位单位 | Cornell University. |
导师 | Foster, Nate | 学位 | Ph.D. |
学科 | Computer science. | 国籍 | US |
页码/总页数 | 317 p. / 317 | 出版年 | 2019 |
中图分类号 | TP | ||
关键词 | Coalgebra Compilers Domain-specific programming languages Kleene Algebra Software defined networking Verification |