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 Editat de Marc Frappier et al. 2 mar 2010 Paperback Preț: 328.93 lei 411.16 lei 6-8 săpt. -20%