Adonia Verlag: Satisfiability and Model Checking in Team Based Logics - Müller, Julian-Steffen - Bod
Müller, Julian-Steffen

Satisfiability and Model Checking in Team Based Logics

Bod
ISBN 9783954047598
148 Seiten, Taschenbuch/Paperback
CHF 31.95
BOD folgt in ca. einer Woche
In den Warenkorb
ZUM ANFANG