Superposition-based Decision Procedures for Minimal Models Autor Matthias Horbach 12 sep 2011 Paperback Preț: 490.16 lei 612.71 lei 43-57 zile -20%