Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Book
Condition: Good. Springer, 1985. This Book is in Good Condition. Normal wear to covers and edges, interior lightly age-toned, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Irish Booksellers, Portland, ME, U.S.A.
Book
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Green Ink Booksellers, Hay-on-Wye, United Kingdom
Book
Paperback. Condition: Very Good. Book is slighly wavy from being stored in an upright position in box ow Nice clean bright tight book 523 pages.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540156704ISBN 13: 9783540156703
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New.