Satisfiability and Model Checking in Team Based Logics Autor Julian-Steffen Müller aug 2014 Paperback Preț: 148.93 lei 186.16 lei 39-44 zile -20%