Dines 共有4条记录 共耗时[1.000]秒
页码:1/1    每页显示:10 记录 跳转:
  • 正在加载图片,请稍后......

    软件工程. 卷3. 领域、需求与软件设计:Dines Bjorner

    作者:Dines Bjorner 出版社:清华大学出版社 出版时间:2007 ISBN:978-7-302-15427-3
    索书号:TP311.5-43/21/3 分类号:TP311.5-43 页数:30, 766页 价格:79.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍了整体软件开发的基本原理和技巧: 从领域描述, 经过需求分析, 直到软件设计。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    软件工程. 卷1. 抽象与建模:Dines Bjorner

    作者:Dines Bjorner 出版社:清华大学出版社 出版时间:2007 ISBN:978-7-302-15428-0
    索书号:TP311.5-43/21/1 分类号:TP311.5-43 页数:39, 711页 价格:79.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍了抽象与建模的基本原理和技术。首先, 给出了离散数学的基本介绍, 包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑, 然后讲授基本的面向属性与面向模型的规约的基本原理和技术。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    软件工程. 卷2. 系统与语言规约:Dines Bjorner

    作者:Dines Bjorner 出版社:清华大学出版社 出版时间:2007 ISBN:978-7-302-15432-7
    索书号:TP311.5-43/21/2 分类号:TP311.5-43 页数:XXIV, 777页 价格:79.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书介绍了描述系统与语言的规约的基本原理和技术。首先讲授一些高级的原理和技术: 分层与组合、指标与计算以及构型 ; 然后讲授符号学建模的基本原理和技术: 语用、语义以及系统和语言的句法 ; 最后介绍了开发函数式, 命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。
    详细信息
    索书号 展开
  • 正在加载图片,请稍后......

    Spring 5设计模式:(英) Dinesh Rajput, 梁桂钊, 程超, 祝坤荣

    作者:(英) Dinesh Rajput, 梁桂钊, 程超, 祝坤荣 出版社:中国水利水电出版社 出版时间:2021 ISBN:978-7-5170-9055-7
    索书号:TP312.8/122 分类号:TP312.8 页数:xii, 292页 价格:79.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书分为三个部分, 涵盖12章的内容。第一部分向你介绍设计模式和Spring框架的要点。第二部分展示了Spring在应用程序中使用。第三部分会对此进行扩展, 涉及到如何使用Spring构建Web应用程序, 并介绍了Spring 5反应式编程特性, 除此之外, 我们还会探讨到如何在企业应用程序中处理并发等问题。无论你是什么经验水平或角色, 通过本书的阅读都能深入浅出地掌握Spring 5设计模式的设计精髓, 并获益匪浅。
    详细信息
    索书号 展开
缩小检索范围
Dines 共有4条记录 共耗时[1.000]秒
页码:1/1    每页显示:10 记录 跳转: