Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Paperback. Etat : 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 réf. du vendeur DA1411440
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 4937595-n
Quantité disponible : Plus de 20 disponibles
Vendeur : California Books, Miami, FL, Etats-Unis
Etat : New. N° de réf. du vendeur I-9783540164883
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4937595
Quantité disponible : Plus de 20 disponibles
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : 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 réf. du vendeur 9783540164883
Quantité disponible : 2 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In English. N° de réf. du vendeur ria9783540164883_new
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : New. N° de réf. du vendeur 4937595-n
Quantité disponible : Plus de 20 disponibles
Vendeur : moluna, Greven, Allemagne
Etat : 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 réf. du vendeur 4883070
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4937595
Quantité disponible : Plus de 20 disponibles
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 732 pp. Englisch. N° de réf. du vendeur 9783540164883
Quantité disponible : 1 disponible(s)