Rongo Univesity Library catalog › Details for: Logic for concurrency and synchronisation

Normal view MARC view ISBD view

Logic for concurrency and synchronisation

Additional authors: Queiroz, Ruy J. G. B. de. | ebrary, Inc.

Series: Trends in logic ; . v. 18 Published by : Kluwer Academic Publishers, (Dordrecht ; | Boston :) Physical details: xxi, 284 p. : ill.

Subject(s): Proof theory. | Modality (Logic) | Parallel programming (Computer science) | Electronic books.

Year: 2003

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10067496
- An electronic book accessible through the World Wide Web; click to view

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliographical references.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.