loading

Đặ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. $2Bộ TK TVQGCơ sở dữ liệu. 2. $2Bộ TK TVQGToán tin. 3. $2Bộ TK TVQGỨng dụng.

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

 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