Termin realizacji zamówienia: ok. 16-18 dni roboczych.
Darmowa dostawa!
Springer Book Archives
Widoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej. Nie gwarantujemy zgodności okładki z prezentowanym zdjęciem.
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.