Logic for concurrency and synchronisation [electronic resource] / edited by Ruy J.G.B. de Queiroz.
Contributor(s): Queiroz, Ruy J. G. B. de | ProQuest (Firm).
Material type: BookSeries: Trends in logic: v. 18.Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, c2003Description: xxi, 284 p. : ill.Subject(s): Proof theory | Modality (Logic) | Parallel programming (Computer science)Genre/Form: Electronic books.DDC classification: 511.3 Online resources: Click to ViewItem type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
E-book | IUKL Library | Subscripti | https://ebookcentral.proquest.com/lib/kliuc-ebooks/detail.action?docID=3036013 | 1 | Available |
Total holds: 0
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 for this item.