Proof and System-Reliability Autor Ralf Steinbruggen et al. 31 mai 2002 Hardback Preț: 677.06 lei 796.54 lei 43-57 zile -15%
Computational Logic NATO ASI Subseries F:, nr. 165 Editat de Helmut Schwichtenberg et al. 14 apr 1999 Hardback Preț: 1032.92 lei 1291.15 lei 43-57 zile -20%
Logic and Algebra of Specification NATO ASI Subseries F:, nr. 94 Editat de Friedrich L. Bauer et al. 5 iul 1993 Hardback Preț: 1032.69 lei 1290.86 lei 43-57 zile -20%
Proofs and Computations Autor Helmut Schwichtenberg et al. 28 mar 2013 Hardback Preț: 637.26 lei 716.03 lei 43-57 zile -11%
Logic of Computation NATO ASI Subseries F:, nr. 157 Editat de Helmut Schwichtenberg 13 oct 2012 Paperback Preț: 325.47 lei 406.84 lei 43-57 zile -20%