Normal view MARC view ISBD view

Temporal Logic of Reactive and Concurrent Systems (Record no. 2175)

MARC details
000 -LEADER
fixed length control field	00496nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	161214s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387976647
Terms of availability	hbk
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	005.1
Item number	MAN
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Manna, Zohar
245 #0 - TITLE STATEMENT
Title	Temporal Logic of Reactive and Concurrent Systems
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	New York:
Name of publisher, distributor, etc	Springer-Verlag,
Date of publication, distribution, etc	1992
300 ## - PHYSICAL DESCRIPTION
Extent	xiv, 427 p.;
Other physical details	ill.:
Dimensions	25 cm.
365 ## - TRADE PRICE
Price type code	EUR
Price amount	125.95
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Logic

Topical term or geographic name as entry element	Symbolic

Topical term or geographic name as entry element	Mathematical

Topical term or geographic name as entry element	Concurrency

Topical term or geographic name as entry element	Computer programming
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Pnueli, A.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme	Dewey Decimal Classification
Item type	Books

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Source of acquisition	Cost, normal purchase price	Total Checkouts	Full call number	Barcode	Koha item type
		Dewey Decimal Classification			DAU	DAU	05/03/2012	Baroda Book Corporation; Invoice No# 962; 06-02-2012	8816.50		005.1 MAN	026545	Books