Logic and Algebra of Specification NATO ASI Subseries F:, nr. 94 Editat de Friedrich L. Bauer et al. 5 iul 1993 Hardback Preț: 948.38 lei 1185.47 lei 6-8 săpt. -20%
Computational Logic NATO ASI Subseries F:, nr. 165 Editat de Ulrich Berger et al. 14 apr 1999 Hardback Preț: 948.51 lei 1185.64 lei 6-8 săpt. -20%
Logic of Computation NATO ASI Subseries F:, nr. 157 Editat de Helmut Schwichtenberg 13 oct 2012 Paperback Preț: 320.60 lei 400.74 lei 6-8 săpt. -20%
Proof and Computation NATO ASI Subseries F:, nr. 139 Editat de Helmut Schwichtenberg 13 dec 2011 Paperback Preț: 620.31 lei 775.38 lei 6-8 săpt. -20%
Proof and System-Reliability NATO Science, nr. 62 Autor Ralf Steinbruggen et al. 30 apr 2002 Hardback Preț: 618.86 lei 728.07 lei 6-8 săpt. -15%
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Lecture Notes in Computer Science, nr. 1862 Editat de Peter G. Clote et al. 9 aug 2000 Paperback Preț: 641.38 lei 801.73 lei 6-8 săpt. -20%