MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Editat de Jürgen Ruf et al. 17 feb 2014 Paperback Preț: 181.93 lei 227.42 lei 38-44 zile -20%