Systems and Software Verification (Record no. 3283)

MARC details
000 -LEADER
fixed length control field 00687cam a22001454a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190514132938.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 010419s2001 gw a b 000 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540415238 (alk. paper)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/4
Edition number 21
100 ## - MAIN ENTRY--PERSONAL NAME
Relator code aut
Personal name Bérard, Beatrice
9 (RLIN) 5594
245 00 - TITLE STATEMENT
Title Systems and Software Verification
Remainder of title Model-Checking Techniques and Tools
Statement of responsibility, etc. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c2001.
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0816/2001032056-d.html">http://www.loc.gov/catdir/enhancements/fy0816/2001032056-d.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0816/2001032056-t.html">http://www.loc.gov/catdir/enhancements/fy0816/2001032056-t.html</a>
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Koha item type
  Not Lost Dewey Decimal Classification   Library Library 25/08/2014   005-2001 AT-ISTA#000010 02/09/2025 Book

Powered by Koha