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