Mathematical Theory of Computation
Autor Zohar Manna
30 noi 2003
Paperback
Preț: 138.02 lei
3-5 săpt.
Cărți de Zohar Manna
The Temporal Logic of Reactive and Concurrent Systems: Specification
Autor Zohar Manna et al.
18 dec 1991
Hardback
Preț: 704.15 lei 880.19 lei
6-8 săpt.
-20%
Temporal Verification of Reactive Systems: Safety
Autor Zohar Manna et al.
4 aug 1995
Hardback
Preț: 654.39 lei 817.99 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
Hardback
Preț: 476.30 lei 595.37 lei
6-8 săpt.
-20%