Typen für Proofs und Programme: International Workshop, Types 2000, Durham, U...
74,87 €
This book contains a selection of papers presented at the ?. It was attended by about 80 researchers. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. ).
Jetzt bei Ebay:
