Normal view MARC view ISBD view

Proceeding on hardware specification verification and synthesis : Mathematical aspects (Record no. 18083)

MARC details
000 -LEADER
fixed length control field	00910nam a2200277Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20220912144900.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	220909b \|\|\|\|\|\|\|\| \|\|\|\| 00\| 0 eng d
037 ## - SOURCE OF ACQUISITION
Terms of availability	Textual
040 ## - CATALOGING SOURCE
Original cataloging agency	CSL
Language of cataloging	eng
Transcribing agency	CSL
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title	eng
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Leeser M Ed.
111 ## - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element	Workshop on hardware specification verification and synthesis : Mathematical aspects (1989 : Lthaca New York)
245 #0 - TITLE STATEMENT
Title	Proceeding on hardware specification verification and synthesis : Mathematical aspects
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin
Name of publisher, distributor, etc.	Springer-Verlag
Date of publication, distribution, etc.	1990
300 ## - PHYSICAL DESCRIPTION
Extent	402p.
Dimensions	cm.
490 ## - SERIES STATEMENT
Series statement	Lecture notes in computer science; 408
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer science
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Brown G Ed.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Classification part	D65,8(B)p1,N89, N0
Koha item type	Textual
Source of classification or shelving scheme	Colon Classification (CC)

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				Central Science Library	Central Science Library	2022-09-12		D65,8(B)p1,N89 N0	SL1024107	2022-09-12	2022-09-12	Textual