
Đặ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 |
---|---|---|
![]() |
LA04.10133 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-254304.html |