Formal Methods for Open Object-Based Distributed Systems Editat de Roberto Gorrieri et al. 9 iun 2006 Paperback Preț: 320.16 lei 400.20 lei 6-8 săpt. -20%
Integrated Formal Methods Editat de Michael Leuschel et al. 2 feb 2009 Paperback Preț: 325.25 lei 406.57 lei 6-8 săpt. -20%