All categories
caret-down
cartcart

Software development

Popularity
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
New €53.49
You save €14.60 (27%)
Book€38.89
You save €14.60 (27%)
New €53.49€38.89