GUTSCHEIN
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management Betriebswirtschaft und Management Wirtschaftsmathematik und -informatik, IT-Management |
| ISBN | 9783540102359 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.09.1980 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Themen | Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management Betriebswirtschaft und Management Wirtschaftsmathematik und -informatik, IT-Management |
| ISBN | 9783540102359 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.09.1980 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?