Software Specification Methods: An Overview Using a Case Study Formal Approaches to Computing and Information Technology (FACIT) Editat de Marc Frappier et al. 16 oct 2000 Paperback Preț: 623.07 lei 778.83 lei 43-57 zile -20%
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings Lecture Notes in Computer Science, nr. 5977 Editat de Marc Frappier et al. 2 mar 2010 Paperback Preț: 328.16 lei 410.20 lei 43-57 zile -20%