Enlarge

Logic for concurrency and synchronisation

Publication Data

Title Logic for concurrency and synchronisation
Contributor Ruy J. G. B. de Queiroz
Publisher Kluwer Academic
Publication date 2003
Publication location Dordrecht
Language English

Topics

Proof theory
Modality (Logic)
Parallel programming (Computer science)

Catalogue Data

OBNB ID GBA342327
ISBN 10 1402012705
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xxi, 284 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic for concurrency and synchronisation. ISBN 1402012705. Published by Kluwer Academic in 2003. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.