Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs Monographs in Computer Science Autor David Luckham 5 ian 2012 Paperback Preț: 332.64 lei 415.80 lei 6-8 săpt. -20%