HomeOwner SearchCategory Search
Visit USCOFormal object interaction language modeling and verification of sequential and concurrent object-oriented software
Text Registration
Copyright Title
Formal object interaction language modeling and verification of sequential and concurrent object-oriented software
Status
Published
on 31 Oct 2007
Year of Creation
2007
Copyright Claimant
Jason Andrew Pamplin
Registration Number
TX0006535854
on 31 Oct 2007Copyright Summary
The U.S. Copyright record (Registration Number: TX0006535854) dated 31 Oct 2007, pertains to an electronic file (eService) titled "Formal object interaction language modeling and verification of sequential and concurrent object-oriented software" created in 2007. The copyright holder is Jason Andrew Pamplin, known for their creative contributions in text registration. For any inquiries concerning this copyrighted material, kindly reach out to Jason Andrew Pamplin.
Application Details
Registration Number
TX0006535854
Registration Date
10/31/2007
Year of Creation
2007
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
Computer text data
Notes
Rights Note: Rights and permissions info. on CORDS appl. in CO
Local Copyright Note: Electronic registration
Statements
Author Statement: entire text: Jason Andrew Pamplin
© 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.