Data Refinement: Model-Oriented Proof Methods and their Comparison Cambridge Tracts in Theoretical Computer Science, nr. 47 Autor Willem-Paul de Roever et al. 17 dec 2008 Paperback Preț: 393.34 lei 491.67 lei 6-8 săpt. -20%
