反应式和并发系统的时序逻辑[pdf txt mobi epub azw3 docx电子书下载]

书名：反应式和并发系统的时序逻辑

作者：[美]佐哈尔·曼纳(Zohar Manna),[以]艾米尔·伯努利(Amir Pnueli),张广泉

ISBN：9787302644972

格式：TXT PDF MOBI EPUB AZW3 DOCX

点击下载