Software verification and analysis : (Record no. 2976)

MARC details
000 -LEADER
fixed length control field 00762nam a22002417a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220107122713.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130523b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978132204510
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781848822399
040 ## - CATALOGING SOURCE
Transcribing agency IIITM-K
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1 LAS/S
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Łaski, Janusz.
9 (RLIN) 345
245 10 - TITLE STATEMENT
Title Software verification and analysis :
Remainder of title An integrated, hands-on approach
Statement of responsibility, etc. by Janusz Laski, William Stanley.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi,
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2009.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 224 p.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element COMPUTER SCIENCE
9 (RLIN) 346
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SOFTWARE ANALYSIS AND TESTING
9 (RLIN) 347
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SOFTWARE QUALITY ASSURANCE
9 (RLIN) 1004
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Stanley, William.
9 (RLIN) 349
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Software Engineering Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Computer Science 23/05/2013 224.00   005.1 LAS/S 2662 03/12/2020 23/05/2013 Books