Central Library

Normal view MARC view ISBD view

INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT : COQ ART :CALCULUS OF INDUC

By: BERTOT ,Y.
Material type: materialTypeLabelBookPublisher: BERLIN Springer 2004Description: xxv+469p.,23X15Cms.ISBN: 3540208542.DDC classification: 511.36 B536
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books CENTRAL LIBRARY
511.36 B536 (Browse shelf) Available 076472

There are no comments for this item.

Log in to your account to post a comment.