HomeOwner SearchCategory Search
Visit USCOIntroduction to Static Analysis: An Abstract Interpretation Perspective
Text Registration
Copyright Title
Introduction to Static Analysis: An Abstract Interpretation Perspective
Status
Published
on 23 Jan 2020
Year of Creation
2020
Copyright Claimant
Massachusetts Institute of Technology
Registration Number
TX0008905157
on 23 Jan 2020Copyright Summary
The U.S. Copyright record (Registration Number: TX0008905157) dated 23 Jan 2020, pertains to an electronic file (eService) titled "Introduction to Static Analysis: An Abstract Interpretation Perspective" created in 2020. The copyright holder is Massachusetts Institute of Technology, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Massachusetts Institute of Technology.
Application Details
Registration Number
TX0008905157
Registration Date
1/23/2020
Year of Creation
2020
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
Book, 299 p
First Publication Nation
United States
ISBN
978-0-262-04341-0
Notes
Rights Note: Pamela L. Quick, MIT Press, One Rogers Street, Cambridge, MA, 02142-1209, United States, (617) 253-0080, quik@mit.edu
Statements
Application Title Statement: Introduction to Static Analysis: An Abstract Interpretation Perspective
Author Statement: Xavier Rival Citizenship: France Authorship: text Kwangkeun Yi Citizenship: Korea, South Authorship: text
© 2024 reserved by Trademarkia
Show terms & conditions
Disclaimer: The information contained in this website is provided for informational purposes only, and should not be construed as legal advice. Although LegalForce RAPC Worldwide P.C., dba Trademarkia P.C., is a law firm (the “Firm”), your use of this website does not establish an attorney-client relationship with the Firm. Such a relationship can only be established after the Firm decides that it is willing and able to accept the engagement after a conflict check and after a written retainer agreement is agreed upon between you and the Firm. Your use of this website is also subject to our Terms of Use and Privacy Policy. ** The entry level subscription is a bundled price which requires a minimum of two billing cycles, or 6 months.