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