THELIB
分类规则 规则 登录
  • 图书
  • 编程语言
  • 其他语言
  • Ada语言入门
Ada语言入门
A

Ada语言入门

其他语言
# Ada# programming language# high reliability systems# Spark# software verification# imperative programming# type system
作者
Raphaël Amiard, Gustavo A. Hoffmann
出版社
Не указано
年份
2023
语言
英语
40
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

Ada编程语言入门

Ada编程语言入门

Raphaël Amiard, Gustavo A. Hoffmann

Python® 计算机科学与数据科学入门:学习AI、大数据与云编程

Python® 计算机科学与数据科学入门:学习AI、大数据与云编程

Paul Deitel & Harvey Deitel

精通Unity:初学者指南

精通Unity:初学者指南

Divya Sachdeva, Aruqqa Khateib, под редакцией Sufyan bin Uzayr

AI 数学基础:人工智能数学基础初学者快速入门指南

AI 数学基础:人工智能数学基础初学者快速入门指南

Andrew Hinton

Ada编程:可靠、强类型系统编程

Ada编程:可靠、强类型系统编程

Theophilus Edet

算法导论(第四版)

算法导论(第四版)

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein

Java™ 如何编程,第十版,早期对象

Java™ 如何编程,第十版,早期对象

Paul Deitel, Harvey Deitel

Python编程入门

Python编程入门

Udayan Das, Aubrey Lawson, Chris Mayfield, Narges Norouzi

Docker入门指南 ...与人工智能

Docker入门指南 ...与人工智能

Nigel Poulton

精通Java:初学者指南

精通Java:初学者指南

Divya Sachdeva, Natalya Ustukpayeva, под редакцией Sufyan bin Uzayr

THELIB

支持 8 种语言翻译的 IT 书籍库。

目录

  • 图书
  • 分类
  • 规则
  • 协议

账户

  • 注册
  • 登录
  • 支持

信息

  • thelib.cc
  • v0.1
© 2026 THELIB 8种语言 · AI实时翻译