Temporal Verification of Reactive Systems: Safety
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 639.87 lei 799.84 lei
6-8 săpt.
-20%
Cărți de Amir Pnueli
Compositionality: The Significant Difference
Editat de Willem-Paul De Roever et al.
18 dec 1998
Paperback
Preț: 642.53 lei 803.16 lei
6-8 săpt.
-20%
Hybrid Systems: Computation and Control
Editat de Freek Wiedijk et al.
18 mar 2003
Paperback
Preț: 638.02 lei 797.52 lei
6-8 săpt.
-20%
The Temporal Logic of Reactive and Concurrent Systems
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 692.35 lei 865.43 lei
6-8 săpt.
-20%