Filtrera

Ämne
  • (1)

Andrew D Roscoe - Böcker

Visar alla böcker av Andrew D Roscoe. Handla med fri frakt och snabb leverans!

  1. Seminar on Concurrency

    av Stephen D Brookes, Andrew W Roscoe, Glynn Winskel

    Häftad, Engelska, 1985-08-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Seminar on Concurrency

    On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for...

    Läs mer »