Produktnummer:
18d6a1a375ba774548a70ac2c59cfab896
| Themengebiete: | C++ programming language Concurrency Concurrent Programming Formal Methods Formale Methoden Nebenläufiges Programmieren Object-Based Computing Object-Oriented Programming Objektbasiertes Rechnen Objektorientiertes Programmieren |
|---|---|
| Veröffentlichungsdatum: | 16.06.1992 |
| EAN: | 9783540556138 |
| Sprache: | Englisch |
| Seitenzahl: | 269 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Nierstrasz, Oscar Tokoro, Mario Wegner, Peter |
| Verlag: | Springer Berlin |
| Untertitel: | ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings |
Produktinformationen "Object-Based Concurrent Computing"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen