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