Software engineering with OBJ : (Record no. 33683)

MARC details
000 -LEADER
fixed length control field 00992nam a2200289 a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0792377575
039 ## - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of effort used to assign subject headings TLC
245 00 - TITLE STATEMENT
Title Software engineering with OBJ :
Remainder of title algebraic specification in action /
Statement of responsibility, etc. edited by Joseph Goguen, Grant Malcolm.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boston :
Name of publisher, distributor, etc. Kluwer Academic,
Date of publication, distribution, etc. 2000.
300 ## - PHYSICAL DESCRIPTION
Extent xxvii, 410 p. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
506 ## - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open access.
650 20 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical subject Software engineering.
650 20 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical subject Functional programming languages.
650 20 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical subject Object-oriented programming (Computer science.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Goguen, Joseph.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Malcolm, Grant.
852 ## - LOCATION
-- p$126.75
949 ## - LOCAL PROCESSING INFORMATION (OCLC)
a BMAIN
c QA76.758
d .S65615 2000
g 53380
5 N
x p$126.75
961 ## -
-- 1
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Date last checked out Price effective from Koha item type
    Library of Congress Classification     University of Eastern Africa, Baraton Main Campus Library   18.06.2019 1 QA 76.758 .S65615 2000 53380 14.11.2021 31.10.2021 18.06.2019 Books