Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, nr. 55 F. L. Bauer et al. 6 dec 2011 Paperback Preț: 633.08 lei 791.34 lei 6-8 săpt. -20%
Theoretical Foundations of Programming Methodology Editat de M. Broy et al. 31 iul 1982 Paperback Preț: 398.99 lei 6-8 săpt.
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare NATO ASI Subseries F:, nr. 36 F. Bauer et al. 9 apr 2012 Paperback Preț: 328.79 lei 410.99 lei 6-8 săpt. -20%