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ț: 1291.39 lei 1614.23 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%