Comparative metric semantics of programming languages: (Record no. 28832)

MARC details
000 -LEADER
fixed length control field 01067n a2200325#a 4500
001 - CONTROL NUMBER
control field 29743
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163607.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 970822s1998 maua b 001 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 97037052
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0817639276 (acid-free)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3764339276 (Basel)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency C#P
-- NLC
-- OHX
055 01 - CLASSIFICATION NUMBERS ASSIGNED IN CANADA
Classification number QA76.7
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13
Item number B846c
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Matemática Aplicada 12-Informática.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Breugel, Franck van,
Dates associated with a name 1966-
9 (RLIN) 15368
245 10 - TITLE STATEMENT
Title Comparative metric semantics of programming languages:
Remainder of title nondeterminism and recursion/
Statement of responsibility, etc. Franck van Breugel.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston:
Date of publication, distribution, etc. c1998.
Name of publisher, distributor, etc. Birkhäuser,
300 ## - PHYSICAL DESCRIPTION
Extent xix, 220 p.:
Other physical details ill.;
Dimensions 25 cm.
490 #0 - SERIES STATEMENT
Series statement Progress in theoretical computer science
-- 35559
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. [201]-216) and indexes.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers)
General subdivision Semantics
9 (RLIN) 31282
697 ## - LOCAL SUBJECT
Local Subject Matemática Aplicada 12-
Description subdivision Informática.
Linkage 23759
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
949 ## - LOCAL PROCESSING INFORMATION (OCLC)
a 200432848
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 2004-11-26   005.13 B846c 1998 IMPA 39063000609407 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha