Autorenfreundlich Bücher kaufen?!
Beschreibung
Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Juli 1981 |
| Maße | 23.3 cm x 15.5 cm |
| Gewicht | 295 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540108450 |
| Seiten | 177 |