Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz.
Material type:
- 511.3 21
- QA9.54 .L64 2003
Reviews from LibraryThing.com:
No physical items for this record
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments on this title.
Log in to your account to post a comment.