Proof and System-Reliability Editat de Helmut Schwichtenberg et al. 31 mai 2002 Hardback Preț: 656.62 lei 772.49 lei 6-8 săpt. -15%
Computational Logic NATO ASI Subseries F:, nr. 165 Editat de Ulrich Berger et al. 29 oct 2012 Paperback Preț: 999.98 lei 1249.97 lei 6-8 săpt. -20%
Logic and Algebra of Specification NATO ASI Subseries F:, nr. 94 Editat de Friedrich L. Bauer et al. 14 apr 2014 Paperback Preț: 1003.01 lei 1253.76 lei 6-8 săpt. -20%
Proofs and Computations Autor Helmut Schwichtenberg et al. 28 mar 2013 Hardback Preț: 578.22 lei 649.68 lei 6-8 săpt. -11%
Computer Science Logic Editat de Peter G. Clote et al. 9 aug 2000 Paperback Preț: 637.92 lei 797.39 lei 6-8 săpt. -20%
Logic of Computation NATO ASI Subseries F:, nr. 157 Editat de Helmut Schwichtenberg 13 oct 2012 Paperback Preț: 325.47 lei 406.84 lei 6-8 săpt. -20%
Proof and Computation NATO ASI Subseries F:, nr. 139 Editat de Helmut Schwichtenberg 13 dec 2011 Paperback Preț: 629.57 lei 786.96 lei 6-8 săpt. -20%