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


Mathematical methods of specification and synthesis of software systems : proceedings (Record no. 107979)

MARC details
000 -LEADER
fixed length control field 00759nam a2200205Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 131122s9999 xx 000 0 und d
020 ## - ISBN | অাই এস বি এন
ISBN | অাই এস বি এন 3-540-16444-8
040 ## - CATALOGING SOURCE
Original cataloging agency
041 ## - LANGUAGE CODE
Language code English
082 ## - DDC | ডিউই
Classification number | বর্গসংখ্যা 5.3
Book Number | গ্রন্থাঙ্ক W924
100 ## - MAIN ENTRY--PERSONAL NAME | মুখ্য সংলেখ - ব্যাক্তিনাম
Personal name | ব্যাক্তিনাম Bibel W
110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম
Corporate name | সংস্থা নাম Workshop on Mathematical Methods of Specification and synthesis of Software Systems( 1985 : Wendisch,GDR )
111 ## - MAIN ENTRY--MEETING NAME | মুখ্য সংলেখ - সভার নাম
Meeting name | সভার নাম Workshop on Mathematical Methods of Specification and synthesis of Software Systems
Location of meeting | সভার স্থান Wendisch, GDR
Date of meeting | সভার তারিখ 1985
245 ## - TITLE STATEMENT | অাখ্যা বিবরণী
Title | অাখ্যা Mathematical methods of specification and synthesis of software systems : proceedings
260 ## - IMPRINT | প্রকাশনা ক্ষেত্র
Place of publication | প্রকাশ স্থান N Y
Name of publisher | প্রকাশকের নাম Springer Verlag
Date of publication | প্রকাশ কাল 1986
300 ## - PHYSICAL DESCRIPTION |
Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা 245p
440 ## - SERIES STATEMENT |গ্রন্থমালা
Series Title | গ্রন্থমালা অাখ্যা Lecture notes in computer science, 215
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Software systems
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Date last seen Total Checkouts Full call number Accession No. Koha item type Lost status Damaged status Not for loan Withdrawn status Home library Current library Shelving location Date acquired
25/12/2013   5.3 W924 108077 Books         ISI Library, Kolkata ISI Library, Kolkata 4th Floor 25/12/2013
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