729:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783540108450
- Språk: Engelska
- Antal sidor: 177
- Utgivningsdatum: 1981-07-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K