Programming and Mathematical Method: International Summer School NATO ASI Subseries F:, nr. 88 Editat de Manfred Broy et al. 21 dec 2011 Paperback Preț: 629.39 lei 786.75 lei 6-8 săpt. -20%
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Lecture Notes in Computer Science, nr. 428 Editat de Dines Bjørner et al. 4 apr 1990 Paperback Preț: 334.34 lei 417.93 lei 6-8 săpt. -20%
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School Springer Study Edition F. L. Bauer et al. dec 1986 Paperback Preț: 635.44 lei 794.30 lei 6-8 săpt. -20%
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%