Items related to Current Trends in Concurrency: Overviews and Tutorials...
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224) - Softcover
Synopsis
Computer science in industry.- Dataflow and Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary Basic theory and applications to concurrent systems.- The quest goes A survey of proofsystems for partial correctness of CSP.- Logic The foundations, the approach and the role of concurrency.- Process Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive A survey of current trends.- Petri Basic notions, structure, behaviour.- Concepts for concurrent programming.
"synopsis" may belong to another edition of this title.
Search results for Current Trends in Concurrency: Overviews and Tutorials...
Stock Image
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 038716488X Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1411440
Quantity: 1 available
Seller Image
Current Trends in Concurrency : Overviews and Tutorials
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4937595-n
Quantity: Over 20 available
Stock Image
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540164883
Quantity: 2 available
Stock Image
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020161049
Quantity: Over 20 available
Seller Image
Current Trends in Concurrency : Overviews and Tutorials
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4937595
Quantity: Over 20 available
Stock Image
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540164883_new
Quantity: Over 20 available
Seller Image
Current Trends in Concurrency : Overviews and Tutorials
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4937595-n
Quantity: Over 20 available
Seller Image
Current Trends in Concurrency
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 354016488X
ISBN 13: 9783540164883
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validatio. Seller Inventory # 4883070
Quantity: Over 20 available
Seller Image
Current Trends in Concurrency : Overviews and Tutorials
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4937595
Quantity: Over 20 available
Seller Image
Current Trends in Concurrency
Published by
Springer Berlin Heidelberg Jun 1986, 1986
ISBN 10: 354016488X
ISBN 13: 9783540164883
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming. 732 pp. Englisch. Seller Inventory # 9783540164883
Quantity: 2 available