Mechanical verification of concurrency control and recovery protocols
| Main Author: | CHKLIAEV, DMITRI ALEKSANDROVICH |
|---|---|
| Format: | TXB |
| Bahasa: | eng |
| Terbitan: |
Technische Universiteit Eindhoven
, 2001
|
| Subjects: | |
| Online Access: |
http://uilis.unsyiah.ac.id/uilis/index.php?p=show_detail&id=32400 |
Daftar Isi:
- X+152hlm.;24cm