Algorithmic program debugging / (Record no. 72990)
[ view plain ]
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 | |
-- | |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
-- | |
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.