COMPUTER TYPES FOR PROOFS AND PROGRAMS (LNCS) By BERARDI S.; COPPO M. EURO 74.99 Send Query ISBN 139783540617808 ISBN 10N/A PublisherSPRINGER-VERLAG Year1996 Pages— BindingHB Description N/A Table of Contents N/A