书目检索

简单检索 多字段检索 组合检索 检索结果

用户登录
全部 纸本图书 期刊
  • 动态系统的形式化描述与验证图书

    —刘珊艳著

    索书号:N94/00332

    标准编码:978-7-5661-4859-9

    出版信息:哈尔滨工程大学出版社  2025.06  哈尔滨

1 共: 1 条