HomeOwner SearchCategory Search
Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn
Visit USCO
hero image
Text Registration
Copyright Title

Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn

Status

Published

on 14 Jun 2007
Year of Creation
2000
Registration Number
TX0005417957
on 14 Jun 2007

Copyright Summary


The U.S. Copyright record (Registration Number: TX0005417957) dated 14 Jun 2007, pertains to an electronic file (eService) titled "Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn" created in 2000. 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.

Copyright Details


Application Details


Registration Number
TX0005417957
Registration Date
6/14/2007
Year of Creation
2000
Place of First Publication
Cambridge, MA
Publisher Name
MIT Press
Agency Marc Code
DLC-CO
Record Status
New
Physical Description
459 p
Series Statement
Foundations of computing
Get your copyright registered todayThousands have copyrighted their assets.
What are you waiting for?

© 2024 reserved by Trademarkia
Show terms & conditions