Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, U
67,13 €
This book presents 17 revised full papers that were reviewed and selected from 29 submissions. The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. Types for Proofs and Programs.
Jetzt bei Ebay:
