Udvidet returret til d. 31. januar 2025

Bøger i Foundations and Trends(R) in Programming Languages serien

Filter
Filter
Sorter efterSorter Serie rækkefølge
  • af Hongjin Liang
    1.023,95 kr.

    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.

Gør som tusindvis af andre bogelskere

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