Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Progress of Concurrent Objects

Progress of Concurrent Objects

av Hongjin Liang

del av Foundations and Trends(R) in Programming Languages-serien

del av Foundations and Trends (R) in Programming Languages-serien

Progress of Concurrent Objects av Hongjin Liang
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781680836721
  • Format:
  • Häftad
  • Sidor:
  • 146
  • Utgiven:
  • 18 Maj 2020
  • Mått:
  • 156x234x0 mm.
  • Vikt:
  • 216 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Om Hongjin Liang

Se alla böcker av Hongjin Liang

Beskrivning av 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.

Användarnas betyg av Progress of Concurrent Objects



Andra köpte även...
Hitta liknande böcker
Boken Progress of Concurrent Objects finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.