libgta

码农软件 · 软件分类 · 其他开发相关 · 2019-10-28 15:27:50

软件介绍

Libgta 实现了 Generic Tagged Arrays (GTA) 文件格式的读写操作,GTAs 是一个用来存储多维度的任意类型数据的文件格式,可用来存储丰富的元数据. GTAs are streamable and support mupltiple compression methods. Uncompressed GTAs allow easy out-of-core data access for very large arrays.

gtatool 工具即是使用该项目来处理 GTAs 读写。

本文地址:https://codercto.com/soft/d/17754.html

从规范出发的程序设计

从规范出发的程序设计

[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元

本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!

随机密码生成器
随机密码生成器

多种字符组合密码

RGB HSV 转换
RGB HSV 转换

RGB HSV 互转工具