Satisfiability and Model Checking in Team Based Logics Autor Julian-Steffen Müller aug 2014 Paperback Preț: 148.81 lei 186.01 lei 38-45 zile -20%