Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

C++ TOOLBOX FOR VERIFIED COMPUTING

By: Hammer,R.
Material type: materialTypeLabelBookPublisher: Springer-Verlag,Berlin 1995Description: xv,377.ISBN: 3540591109.Subject(s): C++ (Computer Program Language)DDC classification: 519.40285513 | C1H
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number url Status Date due Barcode Item holds
Books Books PK Kelkar Library, IIT Kanpur
COMPACT STORAGE (BASEMENT) 519.40285513 C1H (Browse shelf) Book Request Available A129741
Total holds: 0

V.1 Basic Numarical Problems

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha