Current Trends in Concurrency
"Sinopsis" puede pertenecer a otra edición de este libro.
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Paperback. Condición: Very Good. Sorry, No international shipping on this item.038716488X Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: DA1411440
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 4937595-n
Cantidad disponible: Más de 20 disponibles
Librería: California Books, Miami, FL, Estados Unidos de America
Condición: New. Nº de ref. del artículo: I-9783540164883
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 4937595
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540164883
Cantidad disponible: 2 disponibles
Librería: moluna, Greven, Alemania
Condición: 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. Nº de ref. del artículo: 4883070
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 4937595-n
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 4937595
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In English. Nº de ref. del artículo: ria9783540164883_new
Cantidad disponible: Más de 20 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783540164883
Cantidad disponible: 1 disponibles