Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings (Lecture Notes in Computer Science, 612) - Softcover
Synopsis
The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Object-Based Concurrent Computing: ECOOP '91 Workshop,...
Stock Image
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings (Lecture Notes in Computer Science612)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 8 (sale item)* 264 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB716556
Stock Image
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a18781
Stock Image
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings (Lecture Notes in Computer Science, 612)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170488
Stock Image
Object-Based Concurrent Computing: ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540556138
Buy New
US$ 65.66
Shipping:
US$ 20.68
From United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Object-Based Concurrent Computing
Published by
Springer Berlin Heidelberg, Springer Jun 1992, 1992
ISBN 10: 3540556133
ISBN 13: 9783540556138
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 -The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development.This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrent programs.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems. 280 pp. Englisch. Seller Inventory # 9783540556138
Seller Image
Object-Based Concurrent Computing
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556133
ISBN 13: 9783540556138
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. The ECOOP 91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound exper. Seller Inventory # 4893668
Buy New
US$ 58.00
Shipping:
US$ 57.04
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Object-Based Concurrent Computing
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1992, 1992
ISBN 10: 3540556133
ISBN 13: 9783540556138
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers areconcerned with models for concurrent systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch. Seller Inventory # 9783540556138
Seller Image
Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556133
ISBN 13: 9783540556138
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development.This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrent programs.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems. Seller Inventory # 9783540556138
Seller Image
Object-Based Concurrent Computing | ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Object-Based Concurrent Computing | ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings | Mario Tokoro (u. a.) | Taschenbuch | xi | Englisch | 1992 | Springer | EAN 9783540556138 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102134365
Stock Image
Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher | The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development.This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrent programs.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems. Seller Inventory # 641682/202