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ț: 260.61 lei 325.75 lei 6-8 săpt. -20%