Software Specification Methods Formal Approaches to Computing and Information Technology (FACIT) Editat de Marc Frappier et al. 16 oct 2000 Paperback Preț: 649.61 lei 812.01 lei 6-8 săpt. -20%
Abstract State Machines, Alloy, B and Z Editat de Marc Frappier et al. 2 mar 2010 Paperback Preț: 342.06 lei 427.57 lei 6-8 săpt. -20%