Algorithmic program debugging / (Record no. 72990)

000 -LEADER
fixed length control field 02136nam a2200517 i 4500
001 - CONTROL NUMBER
control field 6267335
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220712204633.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 151223s2004 mau ob 001 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780262256964
-- electronic
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
-- print
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
-- print
082 00 - CLASSIFICATION NUMBER
Call Number 001.64/2
100 1# - AUTHOR NAME
Author Shapiro, Ehud Y.,
245 10 - TITLE STATEMENT
Title Algorithmic program debugging /
300 ## - PHYSICAL DESCRIPTION
Number of Pages 1 PDF (xiv, 232 pages).
490 1# - SERIES STATEMENT
Series statement ACM distinguished dissertations
520 ## - SUMMARY, ETC.
Summary, etc Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
856 42 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks
264 #1 -
-- Cambridge, Massachusetts :
-- MIT Press,
-- c1983.
264 #2 -
-- [Piscataqay, New Jersey] :
-- IEEE Xplore,
-- [2004]
336 ## -
-- text
-- rdacontent
337 ## -
-- electronic
-- isbdmedia
338 ## -
-- online resource
-- rdacarrier
588 ## -
-- Description based on PDF viewed 12/23/2015.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Debugging in computer science.
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1
-- Prolog (Computer program language)

No items available.