Model-based testing of reactive systems : (Record no. 30466)

000 -LEADER
fixed length control field 00909cam a22002417a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200109135457.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 050517s2005 gw a sb 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540262787
International Standard Book Number 3540262784
041 ## - Language
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Edition number 22
Item number M689
245 00 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Model-based testing of reactive systems :
Remainder of title advanced lectures /
Statement of responsibility, etc Manfred Broy ... [et al.] (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2005.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 659 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
9 (RLIN) 5927
Title Lecture notes in computer science ;
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 3472
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [617]-651) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing.
9 (RLIN) 2122
Topical term or geographic name as entry element Information technology.
9 (RLIN) 195
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Broy, Manfred
Dates associated with a name 1949-
9 (RLIN) 30078
Relator term editor
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier http://www.loc.gov/catdir/toc/fy0606/2005927641.html
Materials specified Publisher description
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Barcode Damaged status Lost status Shelving location Withdrawn status Current location Full call number
2014-09-27AUM Main Library2014-09-27 2014-09-27 BookAUM-004986  English Collections Hall AUM Main Library005.14 M689
2014-09-27AUM Main Library2014-09-27 2014-09-27 BookAUM-004987  English Collections Hall AUM Main Library005.14 M689
2014-09-27AUM Main Library2014-09-27 2014-09-27 BookAUM-004988  English Collections Hall AUM Main Library005.14 M689