Normal view MARC view ISBD view

Proceedings on mathematical methods of specification and synthesis of software system'85 (Record no. 17554)

MARC details
000 -LEADER
fixed length control field	00933nam a2200277Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20220912144848.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	Bibel W Ed.
111 ## - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element	Inter. spring sch. on mathematical methods of specification and synthesis of software system (1985 : Wendisch-Rietz)
245 #0 - TITLE STATEMENT
Title	Proceedings on mathematical methods of specification and synthesis of software system'85
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin
Name of publisher, distributor, etc.	Springer-Verlag
Date of publication, distribution, etc.	1986
300 ## - PHYSICAL DESCRIPTION
Extent	245p.
Dimensions	cm.
490 ## - SERIES STATEMENT
Series statement	Lecture notes in computer science; 215
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer programming
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Jantke K P Ed.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Classification part	D65,8(B)92p1,N85, M6
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	Serial Enumeration / chronology	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				Central Science Library	Central Science Library	2022-09-12	V3:		D65,8(B)92p1,N85 M6	SL0954862	2022-09-12	2022-09-12	Textual