Integrated Formal Methods Editat de Michael Butler et al. 2 mai 2002 Paperback Preț: 328.10 lei 410.13 lei 43-57 zile -20%
Program Development by Refinement: Case Studies Using the B Method Formal Approaches to Computing and Information Technology (FACIT) Editat de Emil Sekerinski et al. 23 oct 1998 Paperback Preț: 1226.07 lei 1532.59 lei 43-57 zile -20%
Dependability and Computer Engineering Editat de Luigia Petre et al. 29 iun 2011 Hardback Preț: 909.15 lei 1136.43 lei 22-36 zile -20%