Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Hongjin Liang

Filter
Filter
Ordnen nachSortieren Beliebt
  • von Hongjin Liang
    123,00 €

    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.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.