Formal Methods for Distributed Processing Editat de Howard Bowman et al. 9 dec 2010 Paperback Preț: 369.77 lei 462.22 lei 43-57 zile -20%
Formal Methods for Open Object-Based Distributed Systems Editat de Howard Bowman et al. 30 iun 1997 Hardback Preț: 1276.99 lei 1596.24 lei 43-57 zile -20%
Refinement in Z and Object-Z Autor John Derrick et al. 23 aug 2015 Paperback Preț: 635.23 lei 794.04 lei 43-57 zile -20%
Refinement Autor John Derrick et al. 14 sep 2018 Hardback Preț: 332.80 lei 415.99 lei 43-57 zile -20%