Udvidet returret til d. 31. januar 2025
Bag om Progress of Concurrent Objects

Examines the progress properties of concurrent objects. The book formulates each progress property in terms of contextual refinement so that, when verifying clients of the objects, concrete object implementations can be replaced with their abstractions with certainty, achieving modular verification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781680836721
  • Indbinding:
  • Paperback
  • Sideantal:
  • 146
  • Udgivet:
  • 18. maj 2020
  • Størrelse:
  • 156x234x0 mm.
  • Vægt:
  • 216 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 11. december 2024

Beskrivelse af Progress of Concurrent Objects

Examines the progress properties of concurrent objects. The book formulates each progress property in terms of contextual refinement so that, when verifying clients of the objects, concrete object implementations can be replaced with their abstractions with certainty, achieving modular verification.

Brugerbedømmelser af Progress of Concurrent Objects



Find lignende bøger
Bogen Progress of Concurrent Objects findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.