Refinement in Z and Object-Z: Foundations and Advanced Applications Autor John Derrick et al. 23 aug 2015 Paperback Preț: 621.41 lei 776.77 lei 6-8 săpt. -20%
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings Lecture Notes in Computer Science, nr. 2386 Editat de Eerke A. Boiten et al. 26 iun 2002 Paperback Preț: 314.19 lei 392.74 lei 6-8 săpt. -20%