Cărți de Job Zwiers

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge Tracts in Theoretical Computer Science, nr. 54

Autor Willem-Paul de Roever et al.

25 ian 2012

Preț: 538^.24 lei 672^.80 lei

6-8 săpt.

-20%

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship

Lecture Notes in Computer Science, nr. 321

Autor Job Zwiers

22 feb 1989

Preț: 329^.30 lei 411^.62 lei

6-8 săpt.

-20%