Dependability and Computer Engineering Editat de Luigia Petre et al. 28 iun 2011 Hardback Preț: 1063.88 lei 1381.66 lei 43-57 zile -23%
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%
Integrated Formal Methods Editat de Michael Butler et al. 2 mai 2002 Paperback Preț: 327.12 lei 408.89 lei 43-57 zile -20%