Search result

Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks