Research Catalog

Logic for concurrency and synchronisation

Title: Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.
Publication: Dordrecht ; Boston : Kluwer Academic Publishers, c2003.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 03-1374	Offsite

Additional Authors

Queiroz, Ruy J. G. B. de.

Description

xxi, 284 p. : ill.; 25 cm.

Series Statement

Trends in logic ; v. 18

Subjects

Bibliography (note)

Call Number

JSE 03-1374

ISBN

1402012705 (alk. paper)

LCCN

2003045807

OCLC

vendor

Title

Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.

Imprint

Dordrecht ; Boston : Kluwer Academic Publishers, c2003.

Series

Trends in logic ; v. 18

Bibliography

Includes bibliographical references.

Added Author

Queiroz, Ruy J. G. B. de.

Research Call Number

JSE 03-1374