Software abstractions: logic language and analysis. (Record no. 191878)

MARC details
000 -LEADER
fixed length control field 00464nam a2200157Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 210716s2007 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788120331709
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.368 JACD
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Jackson, Daniel.
245 ## - TITLE STATEMENT
Title Software abstractions: logic language and analysis.
Remainder of title Logic language and analysis.
250 ## - EDITION STATEMENT
Edition statement 1
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi
Name of publisher, distributor, etc. Prentice Hall of India PVt Ltd.
Date of publication, distribution, etc. 2007
300 ## - PHYSICAL DESCRIPTION
Extent xvi,350
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
        MCA St Aloysius Institute of Management & Information Technology St Aloysius Institute of Management & Information Technology Athulya Books 325.00   005.368 JACD MCA11386 07/21/2025 243.75 07/16/2021 Book