Name: Progress of Concurrent Objects
Price: 1057.95 DKK
Availability: InStock
Author: Hongjin Liang
ISBN: 9781680836721

Progress of Concurrent Objects af Hongjin Liang

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.057,95 kr.

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

Forlag:
now publishers Inc

Indbinding:
Paperback

Sideantal:
146

Udgivet:
18. maj 2020

Størrelse:
156x234x0 mm.

Vægt:
216 g.

Leveringstid: 2-3 uger.
Forventet levering: 4. december 2024

Normalpris

BLACK NOVEMBER
1.057,95 kr. + Fragt
~~1.057,95 kr.~~

Medlemspris

1.007,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Business og læring > Computer og IT

Progress of Concurrent Objects - Hongjin Liang - Bog

Bag om Hongjin Liang

Beskrivelse af Progress of Concurrent Objects

Brugerbedømmelser af Progress of Concurrent Objects

Gør som tusindvis af andre bogelskere