Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Purchase suggestions

Normal view MARC view ISBD view

Mathematics of program construction

5.1
In61

125953

Kozen Dexter ed. International Conference, MPC 2004 on Mathematics of Program Construction International conference, MPC 2004 on mathematics of program construction Sterling, Scotland 12-14 Jul 2004 Mathematics of program construction proceedings Berlin Springer-Verlag 2004
x,399p. 3-540-22380-0 * Computer programming Program specification Program transformation Programming methodology

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in