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

FORMAL METHODS IN SYSTEMS ENGINEERING (Record no. 321752)

000 -LEADER
fixed length control field 00460pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408bc1993 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540197516
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 620.001171
Item number F765
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Peter No Ryan,Chris No Sennett
245 1# - TITLE STATEMENT
Title FORMAL METHODS IN SYSTEMS ENGINEERING
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.
Name of publisher, distributor, etc. Springer-Verlag, London
Date of publication, distribution, etc. c1993
300 ## - PHYSICAL DESCRIPTION
Extent xi,191
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Systems Engineering
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Sennett,Chris
964 ## -
-- CIRC
997 ## -
-- A118037 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 620.001171 F765 A118037 2016-04-08 Book Request 2016-04-08 Books

Powered by Koha