Systems and software verification: Model checking techniques and tools (Record no. 1301)

MARC details
000 -LEADER
fixed length control field 00454nam a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130318s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540415238
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14 BER/S
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Berard A
245 ## - TITLE STATEMENT
Title Systems and software verification: Model checking techniques and tools
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer
Place of publication, distribution, etc. Berlin
Date of publication, distribution, etc. 1999
300 ## - PHYSICAL DESCRIPTION
Extent 190
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SOFTWARE TESTING
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element SOFTWARE VERIFICATION
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Bidoit M
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Finkel A
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library 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 Testing Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre 18/03/2013 2350.00   005.14 BER/S 1308 18/03/2013 18/03/2013 Archives