Logic and computation Interactive Proof with Cambridge LCF

• Main Author: Paulson, Lawrence C. (Author)
• Format: Book
• Language: Greek
• Published: Cambridge Cambridge University Press 1987
• Subjects: ΕΣΑ; DATA PROCESSING
• Item Description: Τομεας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων.Εργαστηριο συνδυαστικων αλγοριθμων
• Physical Description: xviii,302p.
• ISBN: 0 521 39560 7