Delwedd Flaen
Côd QR

Logic for concurrency and synchronisation

Show other versions (1)
Wedi'i Gadw mewn:
Awdur Corfforaethol: ebrary, Inc
Awduron Eraill: Queiroz, Ruy J. G. B. de
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
Cyfres:Trends in logic ; v. 18.
Pynciau:
Proof theory.
Modality (Logic)
Parallel programming (Computer science)
Electronic books.
Mynediad Ar-lein:An electronic book accessible through the World Wide Web; click to view
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Disgrifiad Corfforoll:xxi, 284 p. : ill.
Llyfryddiaeth:Includes bibliographical references.

Eitemau Tebyg