Verification of sequential & concurrent programs (Record no. 20466)

MARC details
000 -LEADER
fixed length control field 00506nam a2200181Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220718s1997||||xx |||||||||||||| ||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387948961
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 18
Item number APT
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Apt, K.R & Olderog, E-R
110 ## - MAIN ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Olderog, E-R
245 1# - TITLE STATEMENT
Title Verification of sequential & concurrent programs
Statement of responsibility, etc. K.R. Apt & E-R. Olderog
250 ## - EDITION STATEMENT
Edition statement 2
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. 1997
300 ## - PHYSICAL DESCRIPTION
Extent xvii
Accompanying material 364
490 ## - SERIES STATEMENT
Series statement Graduate texts in computer science
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Computer Science
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Total Checkouts Full call number Accession No Date last seen Price effective from Koha item type
      Available CML TIFR CAM Library TIFR CAM Library COMPUTER 18/07/2022   18 APT M8475 29/04/2024 18/07/2022 Books

Powered by Koha