Mathematical Theory of Computation Dover Books on Mathematics Autor Zohar Manna 30 noi 2003 Paperback Preț: 132.94 lei 3-5 săpt.
The Temporal Logic of Reactive and Concurrent Systems: Specification Autor Zohar Manna et al. 18 dec 1991 Hardback Preț: 678.41 lei 848.00 lei 6-8 săpt. -20%
Temporal Verification of Reactive Systems: Safety Autor Zohar Manna et al. 4 aug 1995 Hardback Preț: 630.47 lei 788.09 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ț: 458.92 lei 573.66 lei 6-8 săpt. -20%