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ț: 554^.53 lei 693^.16 lei

43-57 zile

-20%

Specification and Compositional Verification of Real-Time Systems

Autor Jozef Hooman

27 noi 1991

Preț: 319^.70 lei 399^.63 lei

43-57 zile

-20%