Software verification and analysis : (Record no. 3415)

MARC details
000 -LEADER
fixed length control field 01759nam a2200361Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260803094046.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 251212s2009 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-1-84882-239-9
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number 005.14 L33s
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Laski, Janusz
245 1# - TITLE STATEMENT
Title Software verification and analysis :
Remainder of title an integrated, hands-on approach /
Statement of responsibility, etc. Janusz Laski.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2009.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 224 p.:
300 ## - PHYSICAL DESCRIPTION
Dimensions 24 cm.
336 ## - CONTENT TYPE
Content type term Text
337 ## - MEDIA TYPE
Media type term Unmediated
338 ## - CARRIER TYPE
Carrier type term Volume
500 ## - GENERAL NOTE
General note Includes bibliographic references and index
546 ## - LANGUAGE NOTE
Language note English
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Preface.- Introduction: What Do We Want to Know About the Program.- Why Not Write Correct Software the First Time?- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-box Testing.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell about a Program Without Its Execution: Static Analysis.- Is there a Bug in the Program?- Structural Program Testing.- Dynamic Program Analysis.- Index.
520 ## - SUMMARY, ETC.
Summary, etc. This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
591 ## -
-- 0
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Verification
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Stanley, William
943 ## - EQUIVALENCE OR CROSS-REFERENCE--COLLECTIVE TITLE [OBSOLETE] [CAN/MARC only]
-- 0
-- 0
Date of treaty signing 0
-- 1
Date of a work 0
Miscellaneous information 0
Medium 0
-- 0
-- 0
944 ## -
-- 1
-- 1
-- 0
953 ## -
-- HED2586
953 ## -
-- CollLib
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Koha item type Books
Institution code [OBSOLETE] rizal
-- 2015-04-07 23:18:18
-- rizal
Edition 2015-04-07 23:18:18
998 ## - LOCAL CONTROL INFORMATION (RLIN)
MyRDA biblio 3428
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     FEU - Cavite Higher Education FEU - Cavite Higher Education HED Library 12/21/2025 005.14 L33s HED2586 06/02/2026 12/21/2025 Books