HomeOwner SearchCategory Search
Formal Methods in System Design [Published: 2012-02-22. Issue: vol. 40, no. 1, February 2012]
Visit USCO
hero image
Serial Registration
Copyright Title

Formal Methods in System Design [Published: 2012-02-22. Issue: vol. 40, no. 1, February 2012]

Status

Published

on 9 Mar 2012
Year of Creation
2012
Registration Number
TX0007509323
on 9 Mar 2012

Copyright Summary


The U.S. Copyright record (Registration Number: TX0007509323) dated 9 Mar 2012, pertains to an electronic file (eService) titled "Formal Methods in System Design [Published: 2012-02-22. Issue: vol. 40, no. 1, February 2012]" created in 2012. The copyright holder is Springer Science+Business Media LLC, known for their creative contributions in serial registration. For any inquiries concerning this copyrighted material, kindly reach out to Springer Science+Business Media LLC.

Copyright Details


Application Details


Registration Number
TX0007509323
Registration Date
3/9/2012
Year of Creation
2012
Agency Marc Code
DLC-CO
Record Status
New
Corporate Author
Springer Science+Business Media LLC
First Publication Nation
United States
ISSN
0925-9856

Notes


Copyright Local Holdings: vol. 40, no. 1, February 2012 Created 2012 Pub. 2012-02-22 Reg. 2012-03-20 TX0007509323 CDAV

Statements


Application Title Statement: Formal Methods in System Design
Author Statement: Springer Science+Business Media LLC employer for hire Domicile: United States Citizenship: United States Authorship: contribution(s) to a collective work
Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

© 2024 reserved by Trademarkia
Show terms & conditions