Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing) - Softcover

Kwiatkowska, M. Z.; Shields, M. W.; Thomas, R. M.

9780387196251: Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing)

Softcover

ISBN 10: 0387196250 ISBN 13: 9780387196251

Publisher: Springer Verlag, 1990

Semantics for Concurrency A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups. Full description

"synopsis" may belong to another edition of this title.

PublisherSpringer Verlag
Publication date1990
ISBN 10 0387196250
ISBN 13 9780387196251
BindingPaperback

Buy Used

Condition: Very Good
ex Library Book / aus einer wissenschafltichen... Learn more about this copy

� 132.31

Convert currency

Shipping: � 20.55
From Germany to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9783540196259: Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK (Workshops in Computing)

Featured Edition

ISBN 10: 3540196250 ISBN 13: 9783540196259
Publisher: Springer, 1990
Softcover

Springer, 2014
Softcover

Top Search Results from the AbeBooks Marketplace

Seller Image