Search result

Curiosity and Exploration English 16.11.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Verification of Reactive Systems English 22.10.2003 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Theorem Proving in Higher Order Logics English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Verification of Reactive Systems English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks