Normal view MARC view ISBD view

Communicating and mobile systems : the [symbol for pi]-calculus (Record no. 15468)

MARC details
000 -LEADER
fixed length control field	01346nam a2200397 a 4500
001 - CONTROL NUMBER
control field	2316260
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20190807074354.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	980727s1999 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number	98039479
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number	GB98-V8702
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780521658690
024 ## - OTHER STANDARD IDENTIFIER
Terms of availability	6438.00
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)ocm39633907
035 ## - SYSTEM CONTROL NUMBER
System control number	(NNC)2316260
040 ## - CATALOGING SOURCE
Original cataloging agency	DLC
Transcribing agency	AUI
Modifying agency	UKM
--	VPI
--	NNC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA76.59
Item number	.M55 1999
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	004.6/2
Edition number	21
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Milner, R.
Fuller form of name	(Robin),
Dates associated with a name	1934-2010.
245 10 - TITLE STATEMENT
Title	Communicating and mobile systems : the [symbol for pi]-calculus
Remainder of title	the [symbol for pi]-calculus /
Statement of responsibility, etc.	Robin Milner.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Cambridge, [England] ;
--	New York :
Name of publisher, distributor, etc.	Cambridge University Press,
Date of publication, distribution, etc.	1999.
300 ## - PHYSICAL DESCRIPTION
Extent	xii;161 p. ;
Other physical details	ill.
Dimensions	24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Mobile computing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Telecommunication systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Pi-calculus.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer networks
General subdivision	Mathematical models.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Digital communications
General subdivision	Mathematical models.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Electronic data processing
General subdivision	Mathematical models.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Dewey Decimal Classification
Koha item type	Book 1 (Do Not Chose)
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA]
Link information for 9XX fields	QA

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection code	Home library	Current library	Shelving location	Date acquired	Source of acquisition	Cost, normal purchase price	Inventory number	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
		Dewey Decimal Classification			Computer Science	Air University Central Library Islamabad	Air University Central Library Islamabad	Computer Science	08/07/2019	Pak Book Corporation	6438.00	11816055		004.62 MIL	P5452	08/07/2019	08/07/2019	Book 1 (Do Not Chose)