Cărți de Jozef Hooman

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ț: 542^.23 lei 677^.79 lei

6-8 săpt.

-20%

Specification and Compositional Verification of Real-Time Systems

Lecture Notes in Computer Science, nr. 558

Autor Jozef Hooman

27 noi 1991

Preț: 330^.24 lei 412^.80 lei

6-8 săpt.

-20%