
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Editat de Gary T. Leavens et al.
5 aug 2010
Paperback
Preț: 331.25 lei 414.07 lei
3-5 săpt.
-20%