Normal view MARC view ISBD view

Formal models of Operating System (Record no. 32130)

MARC details
000 -LEADER
fixed length control field	00484nam a2200205Ia 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	0000104387
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	1.6424
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Iain D.Graig
245 #0 - TITLE STATEMENT
Title	Formal models of Operating System
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Germany
Name of publisher	Springer
Year of publication	2007
536 ## - FUNDING INFORMATION NOTE
Text of note	Management
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Kernels
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	models
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Operating
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	System
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Formal
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Operating Systems
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Main Library Books
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Total Checkouts	0
Date last seen	2019-10-02 00:00:00
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Not for loan
Inventory number	SKP/CRB/4123 Dtd: 3/3/14

Holdings
Withdrawn status	Lost status	Collection code	Home library	Current library	Shelving location	Date acquired	Source of acquisition	Cost, normal purchase price	Full call number	Accession Number	Koha item type
		Information Science & Engineering	Basaveshwar Engineering College,Bagalkote	Basaveshwar Engineering College,Bagalkote	HAND_BOOKS A-44	2014-03-07	SK Publishers & Distributors	8081.10	001.6424 CRA	104387	Main Library Books

LIBRARY AND INFORMATION CENTRE