Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 522.08 lei 652.60 lei
43-57 zile
-20%
Cărți de Amir Pnueli
Temporal Verification of Reactive Systems: Safety
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 639.87 lei 799.84 lei
43-57 zile
-20%
Compositionality: The Significant Difference
Editat de Willem-Paul De Roever et al.
18 dec 1998
Paperback
Preț: 642.53 lei 803.16 lei
43-57 zile
-20%
Hybrid Systems: Computation and Control
Editat de Freek Wiedijk et al.
18 mar 2003
Paperback
Preț: 638.02 lei 797.52 lei
43-57 zile
-20%
Temporal Logic in Specification
Editat de Behnam Banieqbal et al.
11 oct 1989
Paperback
Preț: 330.36 lei 412.95 lei
43-57 zile
-20%
The Temporal Logic of Reactive and Concurrent Systems: Specification
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 688.52 lei 860.65 lei
43-57 zile
-20%
Perspectives of Systems Informatics
Editat de Amir Pnueli et al.
8 feb 2010
Paperback
Preț: 329.51 lei 411.90 lei
43-57 zile
-20%