Amazon cover image
Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary
See Baker & Taylor
Image from Baker & Taylor

C++ toolbox for verified computing: theory, algorithms and programs Hammer R and REFs

By: Material type: TextTextLanguage: English Publication details: Berlin Springer Verlag 1995Description: p. cmISBN:
  • 3540591109 (hbd)
Subject(s): DDC classification:
  • D65,8(B)92C++, N5.1
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Vol info Status Barcode
Textual Textual Central Science Library Central Science Library D65,8(B)92C++ N5.1 (Browse shelf(Opens below)) V 1. Basic numerical problems (ix,377p). This volume has bibliography (360-365p)and index (366-377p) Available SL1027832

There are no comments on this title.

to post a comment.