Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Editat de Orna Grumberg et al.
9 mar 2007
Paperback
Preț: 642.70 lei 803.37 lei
6-8 săpt.
-20%
