Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
4 authors - Paperback
£54.99
Find out more
Asad Q. Ahmed is Professor of Arabic and Islamic Studies and the Director of the Center for Middle Eastern Studies at the University of California, Berkeley.