Static analysis of software the abstract interpretation
(eBook)
Contributors
Published
Hoboken, N.J. : Wiley, 2012.
Physical Desc
xiv, 331 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Citations
APA Citation, 7th Edition (style guide)
Boulanger, J. (2012). Static analysis of software: the abstract interpretation . Wiley.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Boulanger, Jean-Louis. 2012. Static Analysis of Software: The Abstract Interpretation. Wiley.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Boulanger, Jean-Louis. Static Analysis of Software: The Abstract Interpretation Wiley, 2012.
MLA Citation, 9th Edition (style guide)Boulanger, Jean-Louis. Static Analysis of Software: The Abstract Interpretation Wiley, 2012.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
0c3ffec8-04d7-476b-69c2-5f849d30e06b-eng
Grouping Information
| Grouped Work ID | 0c3ffec8-04d7-476b-69c2-5f849d30e06b-eng |
|---|---|
| Full title | static analysis of software the abstract interpretation |
| Author | jean louis boulanger |
| Grouping Category | book |
| Last Update | 2022-06-07 21:23:19PM |
| Last Indexed | 2024-05-04 02:27:41AM |
Book Cover Information
| Image Source | default |
|---|---|
| First Loaded | Feb 17, 2024 |
| Last Used | Apr 19, 2024 |
Marc Record
| First Detected | Aug 09, 2021 12:24:18 PM |
|---|---|
| Last File Modification Time | Nov 22, 2021 08:26:05 AM |
MARC Record
| LEADER | 01831nam a2200433 a 4500 | ||
|---|---|---|---|
| 001 | EBC1124674 | ||
| 003 | MiAaPQ | ||
| 006 | m E | | ||
| 007 | cr cn||||||||| | ||
| 008 | 111021s2012 njua sb 001 0 eng d | ||
| 010 | |z 2011039611 | ||
| 020 | |z 9781848213203 | ||
| 020 | |z 9781118602843 (e-book) | ||
| 035 | |a (Sirsi) EBC1124674 | ||
| 035 | |a (Sirsi) EBC1124674 | ||
| 035 | |a (OCoLC)828198486 | ||
| 035 | |a (MiAaPQ)EBC1124674 | ||
| 035 | |a (Au-PeEL)EBL1124674 | ||
| 035 | |a (CaPaEBR)ebr10660561 | ||
| 035 | |a (CaONFJC)MIL450028 | ||
| 035 | |a (OCoLC)828298908 | ||
| 040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
| 050 | 4 | |a QA76.76.T48|b S75 2012 | |
| 082 | 0 | 4 | |a 005.1/4|2 23 |
| 245 | 0 | 0 | |a Static analysis of software|h [eBook] :|b the abstract interpretation /|c edited by Jean-Louis Boulanger. |
| 260 | |a Hoboken, N.J. :|b Wiley,|c 2012. | ||
| 300 | |a xiv, 331 p. :|b ill. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
| 650 | 0 | |a Computer software|x Testing. | |
| 650 | 0 | |a Debugging in computer science. | |
| 650 | 0 | |a Computer software|x Quality control. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Boulanger, Jean-Louis. | |
| 710 | 2 | |a ProQuest (Firm) | |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1124674|x Yavapai College|y Yavapai College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1124674|x Prescott College|y Prescott College users click here to access |
| 856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1124674|x Yavapai Library Network|y All other users click here to access |
| 945 | |a E-Book | ||
