Filtre:

Cărți de Zohar Manna

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

22 aug 2012

Preț: 686^.63 lei 858^.30 lei

43-57 zile

-20%

The Calculus of Computation: Decision Procedures with Applications to Verification

Autor Aaron R. Bradley et al.

3 sep 2007

Preț: 467^.63 lei 584^.54 lei

43-57 zile

-20%

The Temporal Logic of Reactive and Concurrent Systems

Autor Zohar Manna et al.

17 oct 2012

Preț: 329^.78 lei 412^.22 lei

43-57 zile

-20%

Mathematical Theory of Computation

Autor Zohar Manna

24 dec 2003

Preț: 135^.41 lei

22-36 zile