Dependability and Computer Engineering Editat de Luigia Petre et al. 28 iun 2011 Hardback Preț: 1084.50 lei 1408.45 lei 6-8 săpt. -23%
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Lecture Notes in Computer Science, nr. 2335 Editat de Michael Butler et al. 2 mai 2002 Paperback Preț: 344.94 lei 431.17 lei 6-8 săpt. -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ț: 1249.86 lei 1562.32 lei 6-8 săpt. -20%