Normal view MARC view ISBD view

Systems and software verification : (Record no. 27659)

MARC details
000 -LEADER
fixed length control field	00793nam a2200217 4500
001 - CONTROL NUMBER
control field	vtls000011568
003 - CONTROL NUMBER IDENTIFIER
control field	KUKTEM
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251117142345.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	060606t2004 xxu gr \|0 1 0\|eng \|
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3540415238
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201107131800
Level of effort used to assign nonsubject heading access points	VLOAD
Level of effort used to assign subject headings	200908141141
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908141112
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908131602
Level of effort used to assign classification	VLOAD
--	200606141156
--	VLOAD
040 ## - CATALOGING SOURCE
Original cataloging agency	UMP
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	QA76.76.V45 S97 2001
245 00 - TITLE STATEMENT
Title	Systems and software verification :
Remainder of title	model-checking techniques and tools /
Statement of responsibility, etc.	B. Berard ... [et al.]
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Berlin; New York:
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	2001
300 ## - PHYSICAL DESCRIPTION
Extent	xii, 190 p.:
Other physical details	ill.;
Dimensions	24 cm.
500 ## - GENERAL NOTE
General note	Includes bibliographical references and index
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer systems
General subdivision	Verification
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Computer software
General subdivision	Verification
700 12 - ADDED ENTRY--PERSONAL NAME
Personal name	Berard, B.

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection	Home library	Current library	Date acquired	Cost, normal purchase price	Total checkouts	Full call number	Barcode	Date last seen	Cost, replacement price	Price effective from	Koha item type
	Not lost	Library of Congress Classification			Non-fiction	UMPLIB PEKAN	UMPLIB PEKAN	04/09/2019	444.64		QA76.76.V45 S97 2001	0000009283	04/09/2019	444.64	04/09/2019	Open Shelf