Understanding Z: A Specification Language and its Formal Semantics Cambridge Tracts in Theoretical Computer Science, nr. 3 Autor J. M. Spivey 20 ian 2008 Paperback Preț: 247.43 lei 309.29 lei 43-57 zile -20%
