Formal Methods for Distributed Processing Editat de Howard Bowman et al. 9 dec 2010 Paperback Preț: 377.42 lei 471.77 lei 6-8 săpt. -20%
Formal Methods for Open Object-Based Distributed Systems Editat de Howard Bowman et al. 30 iun 1997 Hardback Preț: 1343.19 lei 1678.99 lei 6-8 săpt. -20%
Refinement in Z and Object-Z Autor John Derrick et al. 23 aug 2015 Paperback Preț: 660.26 lei 825.33 lei 6-8 săpt. -20%