Normal view MARC view ISBD view

Fundamentals of algebraic specification / (Record no. 202303)

MARC details
000 -LEADER
fixed length control field	00926cam a2200277 a 4500
001 - CONTROL NUMBER
control field	000608211
003 - CONTROL NUMBER IDENTIFIER
control field	AM-YeHGA
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20250617135530.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	850305m19859999gw a b 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387137181 (U.S. : v. 1)
040 ## - CATALOGING SOURCE
Original cataloging agency	AM-YeHGA
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title	eng
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
--	203794
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Ehrig, Hartmut.
245 10 - TITLE STATEMENT
Title	Fundamentals of algebraic specification /
Statement of responsibility, etc.	H. Ehrig, B. Mahr.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin ;
--	New York :
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	1985-.
300 ## - PHYSICAL DESCRIPTION
Extent	v. :
Other physical details	ill. ;
Dimensions	25 cm.
490 1# - SERIES STATEMENT
Series statement	EATCS monographs on theoretical computer science ;
Volume/sequential designation	Vol. 6
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographies and indexes.
505 1# - FORMATTED CONTENTS NOTE
Miscellaneous information	Vol. 1 (1985; xi, 321 p.) :
Title	Equations and initial semantics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Data structures (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Algebra.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Mahr, Bernd
740 0# - ADDED ENTRY--UNCONTROLLED RELATED/ANALYTICAL TITLE
Uncontrolled related/analytical title	Algebraic specification.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	EATCS monographs on theoretical computer science ;
Volume/sequential designation	Vol. 6

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Collection	Home library	Current library	Date acquired	Serial enumeration / chronology	Total checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type	Public note
				Gulbenkian Individual Collection	Fundamental Scientific Library	Fundamental Scientific Library	2016-12-28	Vol. 1		Gulb/6821	FL0078369	2016-12-28	2016-12-28	Գրքեր / Books	ILL Non-Circ.