Cărți de Zohar Manna

Temporal Verification of Reactive Systems: Safety

Autor Zohar Manna et al.

4 aug 1995

Preț: 639^.87 lei 799^.84 lei

6-8 săpt.

-20%

The Temporal Logic of Reactive and Concurrent Systems

Autor Zohar Manna et al.

18 dec 1991

Preț: 692^.35 lei 865^.43 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Mathematical Theory of Computation

Autor Zohar Manna

24 dec 2003

Preț: 135^.41 lei

3-5 săpt.