De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Progress of Concurrent Objects

Progress of Concurrent Objects

af Hongjin Liang

indgår i Foundations and Trends(R) in Programming Languages serien

indgår i Foundations and Trends (R) in Programming Languages serien

Progress of Concurrent Objects af Hongjin Liang
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.
  • 2-3 uger.
  • 9. Oktober 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Hongjin Liang

Vis alle bøger af Hongjin Liang

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



Andre købte også..
Find lignende bøger
Bogen Progress of Concurrent Objects findes i følgende kategorier: