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 6-8 săpt. -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 6-8 săpt. -20%