Specification in B: An introduction using the B toolkit (Record no. 1462)

MARC details
000 -LEADER
fixed length control field 00424nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130318s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781860940187
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1 LAN/S
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Lano, Kevin
245 ## - TITLE STATEMENT
Title Specification in B: An introduction using the B toolkit
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Imperial College Press
Place of publication, distribution, etc. London
Date of publication, distribution, etc. 1996
300 ## - PHYSICAL DESCRIPTION
Extent 242
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element B TOOLKIT
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element PROGRAMMING
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Haughton, Howard
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Software Engineering Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre   18/03/2013 1090.00   005.1 LAN/S 1469 14/05/2018 18/03/2013 Archives