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