Temporal Verification of Reactive Systems
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 666.11 lei 832.64 lei
6-8 săpt.
-20%
Cărți de Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 719.65 lei 899.56 lei
6-8 săpt.
-20%