The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs (Record no. 438)

000 -LEADER
fixed length control field 00572nam a2200253Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field MMU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20180123115051.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150909s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-471-91474-6
035 ## - SYSTEM CONTROL NUMBER
System control number 415
037 ## - SOURCE OF ACQUISITION
Source of stock number/acquisition 1991-107
040 ## - CATALOGING SOURCE
Transcribing agency MMU
Original cataloging agency MMU
Modifying agency Vcherono
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76
Item number .D47B33 1987
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Baber, Robert Laurence
245 ## - TITLE STATEMENT
Title The spine of software : designing provably correct software, theory and practice or a mathemat. introd. to the semantics of computer programs
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Chichester
Name of publisher, distributor, etc. Wiley
Date of publication, distribution, etc. 1987
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
Topical term or geographic name as entry element Computer software--Development
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type GENERAL COLLECTION FOR LOAN
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
          MULTIMEDIA UNIVERSITY LIBRARY MULTIMEDIA UNIVERSITY LIBRARY 2015-09-09 QA76.76.D47B33 1987 107B00415 2023-02-01 2015-09-09 GENERAL COLLECTION FOR LOAN

Mobile:
Email: info@mmu.ac.ke| |Website

Powered by CoreTEC.co.ke.