loading
  • Trang chủ
  • Luận án, luận văn
  • Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực: LATS Toán học: 1.01.10/ Hồ Văn Hương
Luận án, luận văn

Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực: LATS Toán học: 1.01.10/ Hồ Văn Hương

Tác giả : Hồ Văn Hương

Năm xuất bản : 2004

Nơi xuất bản : H.

Mô tả vật lý : 103tr.; 30cm 1 tt

Số phân loại : 005.74

Chủ đề : 1. Cơ sở dữ liệu. 2. Toán tin. 3. Ứng dụng.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Xây dựng mô hình hình thức cơ sở dữ liệu thời gian thực. Đặc tả hình thức điều kiện đúng cho thực hiện song song của hệ thống giao tác trong cơ sở dữ liệu thời gian thực. Kiểm chứng hình thức một số điều kiện để duy trì tính nhất quán của dữ liệu và những ứng dụng của nó trong hệ thống điều khiển giao thông hàng không
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA04.10133
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-254304.html

 

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

データベース・システムに関する調査：データベースの論理設計（データベース専門委員会報告書） / 日本電子工業振興協会

Tác giả : 日本電子工業振興協会

Nhà xuất bản : 日本電子工業振興協会

Năm xuất bản : 1978

placeholder+image

Sách, tuyển tập

Red hat, Linux, 9, Bible / Christopher Negus . Audio CD.3

Tác giả : Christopher Negus .

Nhà xuất bản : Wiley Publishing

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Red hat, Linux, 9, Bible / Christopher Negus . Audio CD. 2

Tác giả : Christopher Negus .

Nhà xuất bản : Wiley Publishing

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Red hat, Linux, 9, Bible / Christopher Negus . Audio CD.1

Tác giả : Christopher Negus .

Nhà xuất bản : Wiley Publishing

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

GIS đại cương : : Phần thực hành / Trần Vĩnh Phước ...[et al.]

Tác giả : Trần Vĩnh Phước ...[et al.]

Nhà xuất bản : Đại học quốc gia Thành phố Hồ Chí Minh

Năm xuất bản : 2003