MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Editat de Jürgen Ruf et al. 18 feb 2014 Paperback Preț: 213.28 lei 266.60 lei 38-45 zile -20%