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ț: 552^.39 lei 690^.49 lei

43-57 zile

-20%

Compositionality, Concurrency, and Partial Correctness

Autor Job Zwiers

22 feb 1989

Preț: 321^.36 lei 401^.70 lei

43-57 zile

-20%